d21021da0d
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 |
||
---|---|---|
.. | ||
logtalk | ||
mpi | ||
random | ||
regex | ||
system | ||
yap2swi | ||
apply_macros.yap | ||
assoc.yap | ||
atts.yap | ||
avl.yap | ||
charsio.yap | ||
cleanup.yap | ||
heaps.yap | ||
lists.yap | ||
logtalk.yap | ||
Makefile.in | ||
ordsets.yap | ||
prandom.yap | ||
queues.yap | ||
random.yap | ||
rbtrees.yap | ||
regexp.yap | ||
splay.yap | ||
system.yap | ||
terms.yap | ||
timeout.yap | ||
trees.yap | ||
ugraphs.yap |