54c6b8c041
documentation
2018-06-05 20:51:49 +01:00
70232133cc
docs
2017-04-13 21:42:34 +01:00
8d1cc35a8a
docsc
2016-11-16 17:17:33 -06:00
cfbbf6e97e
avoid depending on library/...
2016-01-05 03:32:51 +00:00
15404b3835
small
...
- do not call goal expansion on meta-calls (that is done by undef).
- docs updates
- fix init code
2015-12-15 09:28:43 +00:00
ce8a19d381
Add documentation
2015-11-18 15:06:25 +00:00
3164ed2d61
doc support
2015-01-04 23:58:23 +00:00
8eec3113be
improve docs
2014-09-15 03:13:50 -05:00
3009987985
update docs
2014-09-11 14:06:57 -05:00
8ab12ec680
fix mix swi/sicstus
2011-02-02 20:45:29 +00:00
215581ffc8
fix use of in/2 (could conflict with autoloader's clpfd).
2010-05-27 12:02:52 +01:00
c4b39d3ab9
update Prolog code: do a cleanup and make delays use SWI interface.
2010-03-12 14:26:35 +00:00
c58e9f4562
export attributes.
2010-03-04 23:41:45 +00:00
ff31aa4a7c
assign value to attributed variable
2009-10-16 08:32:03 +01:00
e1a724e456
allow unification not to bound a variable.
2009-09-09 17:59:49 -05:00
1be78e23ec
had shortcut for var-to-var unification.
2008-11-14 14:54:52 +00:00
f1411c368e
CLP(BN) fixes and declare dynamic as dynamic.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1861 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-03-30 22:42:15 +00:00
b38d4fc941
fix fix on index expansion
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1570 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-21 19:20:35 +00:00
b881f59a71
fix small bug in attvar handling.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1498 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-01-08 03:12:02 +00:00
a4b85e2abd
more fixes to get_attributes.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1497 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-01-07 02:12:32 +00:00
68164fff7b
fix bugs in removing attributes.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1494 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-01-04 03:45:49 +00:00
e6a15addf5
5.1:
...
- improvements to GC
2 generations
generic speedups
- new scheme for attvars
- hProlog like interface also supported
- SWI compatibility layer
- extra predicates
- global variables
- moved to Prolog module
- CLP(R) by Leslie De Koninck, Tom Schrijvers, Cristian Holzbaur, Bart
Demoen and Jan Wielemacker
- load_files/2
from 5.0.1
- WIN32 missing include files (untested)
- -L trouble (my thanks to Takeyuchi Shiramoto-san)!
- debugging of backtrable user-C preds would core dump.
- redeclaring a C-predicate as Prolog core dumps.
- badly protected YapInterface.h.
- break/0 was failing at exit.
- YAP_cut_fail and YAP_cut_succeed were different from manual.
- tracing through data-bases could core dump.
- cut could break on very large computations.
- first pass at BigNum issues (reported by Roberto).
- debugger could get go awol after fail port.
- weird message on wrong debugger option.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1402 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-18 17:04:43 +00:00
03ba05f24a
a new and hopefully much better implementation of atts.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1392 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-09-09 17:24:39 +00:00
0101c09236
coroutining is now a part of attvars.
...
some more fixes.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1070 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-06-05 03:37:01 +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
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
Vitor Santos Costa
Vítor Santos Costa
vsc