vsc
|
18f0de5486
|
fix log(0.0) and log10(0.0) to be SICStus compatible.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1245 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-02-18 21:34:02 +00:00 |
|
vsc
|
52a46e5c5d
|
fix mess with add clause
improves on sigsegv handling
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1239 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-02-08 04:05:39 +00:00 |
|
vsc
|
3fce73a11f
|
fix atom_codes
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1238 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-01-31 17:47:57 +00:00 |
|
vsc
|
be638d705c
|
CLPBN: query variables may have static evidence.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1235 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-01-15 05:40:38 +00:00 |
|
vsc
|
baf823eb5c
|
fix bug in clause emulator
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1234 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-01-15 05:21:36 +00:00 |
|
vsc
|
a4f158fd33
|
more fixes to CLPBN
fix some Yap overflows.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1216 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2004-12-20 21:44:58 +00:00 |
|
vsc
|
a013a38c7b
|
get rid of debugging messages
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1215 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2004-12-16 06:19:00 +00:00 |
|
vsc
|
94b1984a7f
|
update graphviz interface
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1214 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2004-12-16 06:17:18 +00:00 |
|
vsc
|
7acacd1618
|
new version
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1212 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2004-12-16 06:07:07 +00:00 |
|
vsc
|
3824534ee8
|
further updates to CLP(BN): fixes on variable elimination and
graph display with graphviz.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1210 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2004-12-11 19:53:43 +00:00 |
|
vsc
|
49455985b3
|
include two extensions for CLP(BN): dumping in XBif format (XML) and
aggregate averages.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1209 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2004-12-08 22:32:34 +00:00 |
|
vsc
|
5143aebb01
|
try to reduce overheads when running with goal expansion enabled.
CLPBN fixes
Handle overflows when allocating big clauses properly.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1193 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2004-12-05 05:01:45 +00:00 |
|
vsc
|
11ba3273da
|
more bug fixes for CLP(BN)
Allow debugging of system procedures if written in Prolog.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1174 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2004-11-16 16:38:09 +00:00 |
|
vsc
|
eee481b877
|
add main Makefile for CLPBN
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1101 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2004-07-23 19:10:11 +00:00 |
|
vsc
|
21a3377248
|
debugger fixes
initial support for JPL
bad calls to garbage collector and gc
debugger fixes
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1096 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2004-07-22 21:32:23 +00:00 |
|
vsc
|
ab1cd9bb60
|
introduce CLPBN in system
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1094 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2004-07-15 16:23:44 +00:00 |
|