diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
2,187 Commits 2 Branches 6 Tags 146 MiB
a70fb91592
Commit Graph

4 Commits

Author SHA1 Message Date
vsc
316811d2cd user:goal_expand should be called before import 
add extra apply_macros and apply stuff; fix unexisting definitions.
add forall/2 and ignore/1 to system stuff.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2237 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-05-15 13:41:48 +00:00
vsc
d21021da0d get rid of UnCutable 
a:(a(X),b(X)) should be the same as a:a(X), a:b(X). Use PushModPred to
force that.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@642 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-18 13:54:53 +00:00
vsc
06cd483055 include new apply_macros code from Erick Alphonse 
Acknowledge J. Schimpf


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@542 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-06-18 04:08:01 +00:00
vsc
5384e3b4d7 Erick Alphonse's Eclipse style apply macro library 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@138 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-08-09 18:00:45 +00:00