Commit Graph

20 Commits

Author SHA1 Message Date
rzf
20fc4d463c license file
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2005 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-15 12:25:20 +00:00
rzf
364478ae53 copyright file for the SLG system
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2004 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-15 12:24:46 +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
rzf
21290f0fe0 fized comments
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2002 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-15 12:22:08 +00:00
rzf
4388f26b59 added support for existential bodies
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2001 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-15 12:21:37 +00:00
rzf
c8343cc61c Makefile for documentation
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2000 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-15 12:20:07 +00:00
rzf
25cf4d881f *** empty log message ***
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1999 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-15 12:18:46 +00:00
rzf
b2fced0500 split the file testlpadsld.pl into
testlpadsld_gbfalse.pl
testlpadsld_gbtrue.pl


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1998 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-15 10:48:33 +00:00
rzf
69ccf0d8de renamed
lpadsld.yap into lpadsld.pl
testlpadsld.yap into testlpadsld.pl


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1997 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-14 18:17:40 +00:00
rzf
09fa0abef9 renamed
es.cpl into es.cpl
esapprox.cpl into exapprox.cpl
esrange.cpl into exrange.cpl


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1996 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-14 14:17:11 +00:00
rzf
b524b6930f renamed test.yap into testlpadsld.yap
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1995 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-14 13:09:06 +00:00
rzf
56bbbad1e9 renamed cplint.yap into lpadsld.yap
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1994 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-14 12:40:26 +00:00
rzf
5ff3890130 renamed semantics.yap into semclark.yap
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1992 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-13 16:41:49 +00:00
rzf
18553a6ff8 fixed some typos in cplint manual
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1988 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-08 17:58:30 +00:00
rzf
f9d7b3ad58 added pdf and html versions of the cplint manual
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1984 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-08 12:47:24 +00:00
rzf
c630e32855 removed unused variables and incorrect prototypes
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1983 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-08 11:32:14 +00:00
rzf
1268730712 corrected a bug in the installation of the documentation
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1982 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-08 11:30:19 +00:00
rzf
9313f81ccd inserted installation instructions
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1981 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-08 11:29:43 +00:00
rzf
9174f32eb5 added support for the compilation of cplint with the option --enable-cplint[=DIR]
where DIR is the optional directory prefix where glu was installed


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1978 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-07 13:02:37 +00:00
rzf
5a19adf881 added cplint directory
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1966 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-10-22 12:22:49 +00:00