1c06bfdc05
cmake & text support
2015-06-19 01:30:13 +01:00
3164ed2d61
doc support
2015-01-04 23:58:23 +00:00
67de7e422d
Separate callable errors that refer to the predicate indicator.
2014-10-20 15:40:19 +01:00
d40b9d1426
restore callable.
2014-10-20 09:20:56 +01:00
0cd0ece207
make error handling for callable more ISO like.
2014-10-19 12:48:14 +01:00
e9cc545f68
big cleanup: cpmpile under style checker.
...
fix broken module stuff.
2014-10-07 01:35:41 +01:00
8eec3113be
improve docs
2014-09-15 03:13:50 -05:00
3009987985
update docs
2014-09-11 14:06:57 -05:00
325c819f79
intermediate steo in improving doc system to doxygeb
2014-07-26 19:14:15 -05:00
a8c77d2609
fix string_concat/2
2014-04-09 12:39:29 +01:00
e105130a8b
Tabling with coinductive mode for predicate
2013-12-20 14:56:13 +00:00
51535a86ce
allow reconsult of tabled predicates
2013-12-16 15:11:30 +00:00
d540354c30
adding sum mode operator + fix multithreading compatibility
2012-06-04 19:27:31 +01:00
d33829205e
support for local pages with threads
2011-12-07 13:53:20 +00:00
88760aa0b1
mode directed tabling
2011-11-09 11:00:31 +00:00
22b0bcac14
mode directed tabling.
2011-10-22 16:49:13 +01:00
e63cba963e
new local predicates for tabling with threads
2011-05-25 20:08:04 +01:00
1d4fdd53c0
use SWI's IOSTREAM for output
2011-05-25 18:38:46 +01:00
76ee19ab59
Corrected the meta_predicate/1 directive for the built-in tabling predicate tabling_mode/2.
2010-12-09 18:21:26 +00:00
7eee5a5b56
new built-in predicates to access OPTYap statistics related to memory
...
usage.
2010-04-20 03:59:48 +01:00
ddb1cd8604
adding two new modes to the yap_flag/2 and tabling_mode/2 built-in
...
predicates: 'local_trie' mode and 'global_trie' mode.
2010-04-16 02:08:06 +01:00
eea6932e23
fix undefined error in the absence of tabling (obs from Paulo Moura).
2010-01-31 23:13:30 +00:00
8ed6f693bb
code review
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1576 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-24 16:26:31 +00:00
d6a2f6ac94
TABLING FIXED: table and yap_flag(tabling_mode,_) declarations
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1352 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-01 17:59:49 +00:00
6b3c81c56e
TABLING: new predicate 'is_tabled/1'.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1344 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-07-15 18:03:26 +00:00
5ef65b053e
TABLING: new predicates 'tabling_statistics' and 'abolish_all_tables'.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1343 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-07-11 19:17:32 +00:00
3a93e0e079
TABLING: answers for completed calls can now be obtained by loading (new option) or executing (default) them from the trie data structure.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1342 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-07-06 19:34:12 +00:00
a4de2217ca
declare tabling_mode as a meta predicate
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1304 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-05-31 00:08:35 +00:00
de17f5cca4
Adding tabling support for mixed strategy evaluation (batched and local scheduling)
...
UPDATE: compilation flags -DTABLING_BATCHED_SCHEDULING and -DTABLING_LOCAL_SCHEDULING removed. To support tabling use -DTABLING in the Makefile or --enable-tabling in configure.
NEW: yap_flag(tabling_mode,MODE) changes the tabling execution mode of all tabled predicates to MODE (batched, local or default).
NEW: tabling_mode(PRED,MODE) changes the default tabling execution mode of predicate PRED to MODE (batched or local).
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1268 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-04-07 17:56:58 +00:00
4c972ca825
bug fixes for YapTab support
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1259 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-03-04 20:30:14 +00:00
221665bab8
support for tabling
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@951 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2003-12-18 16:38:40 +00:00
4c264a968a
new scheme for flags.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@949 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2003-12-04 18:13:04 +00:00
21aab28a59
new error handlong mechanism
...
new YAP_ foreign interface
fix unbound_first_arg in call_with_args
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@582 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-09-09 17:40:12 +00:00
4fc1a2ff42
put tabling back to work
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@460 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-05-03 15:30:36 +00:00
3962e559aa
style check fixes
...
improve error message on redefining system predicate
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@252 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-01-02 16:55:24 +00:00
c85d9ee978
fix tabling declaration.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@181 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-11-15 19:10:02 +00:00
b289d9ac9c
new module system. BEWARE! BEWARE! BEWARE!
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@177 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-11-15 00:01:43 +00:00
458a0a857f
New metacall mechanism
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@169 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-10-30 16:42:05 +00:00
8dcee4415b
library(system) plus several new support builtins
...
much improved garbage collector
improvements to compiler
yaptab compiles again
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@34 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-05-21 20:00:05 +00:00
e5f4633c39
This commit was generated by cvs2svn to compensate for changes in r4,
...
which included commits to RCS files with non-trunk default branches.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@5 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-04-09 19:54:03 +00:00
Vítor Santos Costa
Theo
Ricardo Rocha
Paulo Moura
Ricardo Rocha
vsc
ricroc