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

2281 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
rzf
93e6f17c3b removed singletons 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2135 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-03-09 08:21:00 +00:00
rzf
ee2c0ca203 added installation of new solvers 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2134 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-03-08 15:41:01 +00:00
rzf
094c256ae7 added test file for the new solvers 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2133 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-03-08 15:40:21 +00:00
rzf
0d7427ad83 added the possibility of having builtin predicates 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2132 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-03-08 15:39:43 +00:00
rzf
186d4e0687 corrected bug: call_solver was not exported 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2131 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-03-08 15:38:24 +00:00
rzf
2237f94e06 removed some useless code 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2130 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-03-08 14:54:32 +00:00
rzf
04c4c58edf corrected bug in fix_evidence 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2129 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-03-08 13:03:23 +00:00
rzf
2152d90937 efficient variable elimination for lpads. Still buggy 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2128 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-03-08 11:32:26 +00:00
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
097bdcec67 reverted to old version due to a wrong commit 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2126 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-03-06 07:57:23 +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
2e289a8317 reverted to old version due to a wrong commit 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2124 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-03-06 07:37:56 +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
vsc
9c54e6c7bb improve library 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2122 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-28 00:33:52 +00:00
rzf
60b5042f09 corrected a bug in the BNT path specification 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2121 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-27 21:28:07 +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
575d5bcb26 fixed a bug in bnt.yap: the index of the value of the evidence variable start from 1 rather than from 0 
added the possibility of computing the marginal of more than one variable in bnt.yap when jtree is used


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2118 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-26 13:52:38 +00:00
vsc
a3f3d62b1b more fixes to messages 
improve lineutils


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2117 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-25 10:15:31 +00:00
vsc
6a7e26eab1 Marku's latest, thanks! 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2116 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-25 09:58:11 +00:00
pmoura
9058342aaa Added commented out code for an (incomplete) definition of the new float flags specified on the ISO Core Reviosion DTR. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2115 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-24 16:49:56 +00:00
pmoura
9fbbb1e47a Corrected a bug in thread_property/2 due to the use of the broken definition of the auxiliary predicate '$current_thread'/1. Removed predicates '$current_thread'/1-2. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2114 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-24 12:40:40 +00:00
pmoura
045965e3ed Completed ISO DTR definition of the message_queue_create/2 predicate. Still commented out waiting for a bug fix when creating queues without using aliases. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2113 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-24 12:28:05 +00:00
pmoura
eac625e0ec Fixed a bug in the predicate threads/0 where some threads might not be listed if there are gaps between the identifiers of the existing threads (e.g. with threads 0, 1, 3 the thread 3 would not be listed). 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2112 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-23 11:31:13 +00:00
vsc
0e3d91a0ff fix chr bootstrap. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2111 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-23 01:32:31 +00:00
ricroc
bd957c06b6 support for trie_traverse/2 and itrie_save_as_trie/2 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2110 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-22 18:57:27 +00:00
ricroc
596ecc5126 support for trie_traverse/2 and itrie_save_as_trie/2 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2109 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-22 18:47:24 +00:00
vsc
f15c466da1 fix Makefile.in (obs from Bernd). 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2108 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-22 16:00:57 +00:00
vsc
17d16e0b14 Big update to support more SICStus/SWI like message handling 
fix YAPSHAREDIR
fix yap.tex (Bernd)


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2107 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-22 15:08:37 +00:00
ricroc
da6d73302a bug in trie_join functions fixed 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2106 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-21 15:14:41 +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
ceaf8af95d added binary flag suppress_attribute_display to clpbn to suppress the dislpaying of attributes 
fixed a bug in bnt.yap: the index of the value of the evidence variable start from 1 rather than from 0
added the possibility of computing the marginal of more than one variable in bnt.yap


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2103 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-18 16:42:04 +00:00
vsc
e748bd9b33 more fixes to modules 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2102 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-15 12:41:33 +00:00
vsc
6cc240fe7f get rid of silly debugging message. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2101 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-14 16:34:14 +00:00
vsc
88bb8c81aa fix stupid module bug I introduced yesterday :( 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2100 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-14 16:22:42 +00:00
vsc
ca67a28a0c fixes for indexing code. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2099 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-14 14:35:13 +00:00
vsc
6d4edaa609 allow float matrix to be initialised with ints. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2098 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-13 15:20:59 +00:00
vsc
df0a199afb fix the op changes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2097 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-13 14:42:55 +00:00
vsc
d86f30a2eb CLP(BN) fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2096 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-13 11:57:46 +00:00
vsc
a4a26478e0 fix some bugs from yesterday plus improve support for modules in 
operators.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2095 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-13 10:15:36 +00:00
vsc
4fa75e361a fix startline. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2094 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-12 22:53:02 +00:00
vsc
afb734b51a improve learning in CLP(BN) 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2093 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-12 22:28:18 +00:00
vsc
efe6c4eaef condor support. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2092 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-12 21:50:58 +00:00
vsc
8ccc09d38f Quintus arg package 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2091 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-12 21:39:37 +00:00
vsc
29d7bac9b7 a few extra portability fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2090 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-12 18:10:48 +00:00
vsc
162888c4bc hopefully an harbinger of things to come. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2089 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-12 17:10:06 +00:00
vsc
af0fb4f4d9 SWI-portability changes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2088 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-12 17:03:59 +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
ricroc
1ac399f57b new support for join/intersect operations 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2086 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-11 17:00:23 +00:00