Commit Graph

8 Commits

Author SHA1 Message Date
vsc
7b77c87b94 store constraints in DB
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@233 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-12-17 18:31:11 +00:00
vsc
6a34f51a25 fix copy_term between constraints
change visiited stack in unify to AuxSp because H can be changed
by woken goals


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@221 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-12-11 03:34:03 +00:00
uid49918
1578e68ec3 fix bugs in tabling
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@116 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-07-04 16:48:54 +00:00
lfcastro
08ebcf94be * the previous typo correction seemed to be reversed, so...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@68 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-06-08 18:21:35 +00:00
lfcastro
6cc04e235b * fixed a typo in PutAtt (timestmp -> timestamp)
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@67 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-06-08 18:16:07 +00:00
vsc
38247e38fc cleanup of CLPQR and CHR;
simplification of module handling;
new timestamp implementation


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@52 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-06-06 19:10:51 +00:00
vsc
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
vsc
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