rzf
|
70749fc27f
|
initial implementation of vel for lpads
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2127 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2008-03-06 17:30:35 +00:00 |
|
rzf
|
a35877eb05
|
reverted to old version due to a wrong commit
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2125 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2008-03-06 07:43:30 +00:00 |
|
rzf
|
b55a9bd8f9
|
added option for setting the value of zeros in cpt table. By using a small value rather than 0.0 some errors with jt and vel are avoided
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2123 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2008-03-06 07:11:18 +00:00 |
|
rzf
|
8f02f3eb60
|
corrected a syntax bug
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2120 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2008-02-27 20:35:33 +00:00 |
|
rzf
|
6bf0853de8
|
added arguments to s and sc for compputing the cpu and wall time for resolution and inference
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2119 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2008-02-27 20:00:57 +00:00 |
|
rzf
|
7c4b951975
|
Included lpadclpbn.pl in the installation of clpint
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2105 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2008-02-18 16:58:51 +00:00 |
|
rzf
|
e3e1efb566
|
Goal oriented interpreter for LPADs where inference is performed by translating the portion of the LPAD related to the goal into CLP(BN)
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2104 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2008-02-18 16:52:33 +00:00 |
|
rzf
|
5b2cc724f3
|
*** empty log message ***
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2087 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2008-02-12 09:43:31 +00:00 |
|
rzf
|
7f925bcd5b
|
corrected bugs in handling negation
improved performance
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2044 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-12-11 18:46:14 +00:00 |
|
rzf
|
b8f97132d2
|
fixed typo in configure.in
cleaned up code in lpad.pl
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2043 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-12-11 11:49:36 +00:00 |
|
rzf
|
0ba4dd8efd
|
removed loading of shared library
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2042 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-12-10 21:27:20 +00:00 |
|
rzf
|
803e032b9f
|
added some test file
added a target to makefile to perform individual tests
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2040 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-12-05 17:43:32 +00:00 |
|
rzf
|
9c511da82c
|
Corrected a bug when dealing with existentially quantified bodies.
Now it does not need anymore BDDs
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2039 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-12-05 16:32:17 +00:00 |
|
rzf
|
c9c6b2e25c
|
fixed compilation bug (it was not finding YapInterface.h in a clean install)
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2036 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-12-05 10:47:19 +00:00 |
|
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
|
63bd762d12
|
added test file for semlpadsld.pl and semlpad.pl
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2033 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-12-04 18:31:34 +00:00 |
|
rzf
|
523a101b15
|
added comments to the semantic modules
added test files for semlpadsld.pl and semlpad.pl
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2032 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-12-04 18:30:35 +00:00 |
|
rzf
|
69ac9d7885
|
removed comment
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2027 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-11-17 19:12:02 +00:00 |
|
rzf
|
f7ea80dec3
|
added dual compilation html/pdf to manual.tex
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2026 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-11-17 19:09:05 +00:00 |
|
rzf
|
48b6818654
|
added instructions on semcpl.pl commands print/0 and build/1
modified targets of Makefile
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2025 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-11-16 15:23:01 +00:00 |
|
rzf
|
3fb3776842
|
fized formatting
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2021 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-11-15 16:31:17 +00:00 |
|
rzf
|
3fb86afe87
|
added comments
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2020 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-11-15 16:29:09 +00:00 |
|
rzf
|
d88751ae2d
|
now it copies also manual.bbl and Makefile
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2019 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-11-15 16:27:09 +00:00 |
|
rzf
|
dd38b5706f
|
removing old files
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2018 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-11-15 14:01:22 +00:00 |
|
rzf
|
8fb01d6607
|
examples for the new programs
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2017 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-11-15 12:38:55 +00:00 |
|
rzf
|
83b4c2cdac
|
description of the new programs
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2016 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-11-15 12:35:29 +00:00 |
|
rzf
|
011632500d
|
added the new prograams
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2015 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-11-15 12:34:31 +00:00 |
|
rzf
|
dd7a96e082
|
list of test for semlpad.pl and semlpadsld.pl
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2014 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-11-15 12:33:56 +00:00 |
|
rzf
|
28dd8a87a4
|
program for testing semcpl.pl
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2013 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-11-15 12:33:14 +00:00 |
|
rzf
|
5f6c063171
|
program for testing cpl.pl
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2012 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-11-15 12:32:39 +00:00 |
|
rzf
|
d63e4aaaad
|
module for computing the semantics of CP-logic programs
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2011 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-11-15 12:32:13 +00:00 |
|
rzf
|
2ffffffed0
|
module for answering queries from CP-logic programs and detecting invalid programs
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2010 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-11-15 12:30:57 +00:00 |
|
rzf
|
8a5020d7c3
|
module for computing the semantics of LPADs and answering queries by using
SLG over instances
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2009 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-11-15 12:29:48 +00:00 |
|
rzf
|
9e4f200216
|
SLG system
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2008 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-11-15 12:28:06 +00:00 |
|
rzf
|
97b5036fe4
|
test file for lpad.pl
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2007 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-11-15 12:27:17 +00:00 |
|
rzf
|
a9c4d66cce
|
renamed semantics.pl into semlpadsld.pl
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2006 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-11-15 12:26:25 +00:00 |
|
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 |
|