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

2043 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
vsc
3faa45cb0a new version of clp(fd) 
fix deadlock with empty args facts in clause/2.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2047 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-12-26 19:50:40 +00:00
vsc
65d3704e4b recover stack space 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2046 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-12-23 22:48:44 +00:00
vsc
926d21808e purge_clauses does not need to do anything if there are no clauses 
fix gprof bugs.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2045 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-12-18 17:46:58 +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
1d8e42eff0 now cplint compiles also under Mac OS 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2041 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-12-09 22:46:38 +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
vsc
aa642a83f9 weighted graphs SICStus like library 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2038 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-12-05 14:49:59 +00:00
vsc
64d62f1e3e improve JT 
fix graph compatibility with SICStus
re-export declaration.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2037 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-12-05 12:17:25 +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
vsc
1bd96722de junction tree algorithm 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2031 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-11-28 23:52:14 +00:00
vsc
3beda27d14 fixes to support threads and assert correctly, even if inefficiently. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2030 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-11-26 23:43:10 +00:00
ricroc
5941606d19 fixed bug in itrie_traverse_cont() 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2029 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-11-20 16:15:41 +00:00
vsc
507d3058f4 fix some overflows 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2028 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-11-20 15:51:39 +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
vsc
9ffa95724d just get rid of some debugging code. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2024 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-11-16 15:02:25 +00:00
vsc
968c509131 matrix operations for CLP(BN) discrete distributions. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2023 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-11-16 15:00:56 +00:00
vsc
d908c8633f implement sophisticated operations with matrices. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2022 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-11-16 14:58:41 +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