rzf
|
212a27a564
|
handling queries composed by a single negative literal
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2035 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-12-04 22:55:17 +00:00 |
|
rzf
|
e58d6b7bb5
|
added comments
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2034 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-12-04 18:47:31 +00:00 |
|
rzf
|
80b28345d6
|
module for answering queries in a goal oriented way using SLG resolution
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2003 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-11-15 12:23:08 +00:00 |
|