Vitor Santos Costa
|
b55572baa8
|
try to have less verbose makes
|
2009-03-24 01:03:50 +00:00 |
|
Vitor Santos Costa
|
b198de2272
|
patch from master
|
2009-03-24 01:02:44 +00:00 |
|
Vitor Santos Costa
|
7769c33be7
|
fix shunting where it breaks variable order.
|
2009-03-24 00:17:59 +00:00 |
|
Vitor Santos Costa
|
58560d4f2c
|
move bool typedef here.
|
2009-03-23 15:29:13 +00:00 |
|
Vitor Santos Costa
|
e56f46c0e3
|
typedef bool confuses jpl
|
2009-03-23 15:28:35 +00:00 |
|
Vitor Santos Costa
|
d18c0ceeb7
|
be more precise about checking if clpqr and friends are really there.
|
2009-03-23 15:27:59 +00:00 |
|
Vitor Santos Costa
|
ee26527482
|
fix chr reference.
|
2009-03-23 15:10:09 +00:00 |
|
Vitor Santos Costa
|
19d6135c83
|
more fixes
|
2009-03-23 12:40:34 +00:00 |
|
Vitor Santos Costa
|
2e9de6a0dc
|
remove http package
|
2009-03-23 12:23:34 +00:00 |
|
Vitor Santos Costa
|
981dc3d5d7
|
support new version of jpl
make system more robust to missing packages
|
2009-03-23 12:23:00 +00:00 |
|
Vitor Santos Costa
|
4188091d01
|
fix case where we have multiple marginals.
|
2009-03-19 09:52:25 +00:00 |
|
Vitor Santos Costa
|
1b238d62ec
|
fix bad copy and paste from master
|
2009-03-17 22:29:24 +00:00 |
|
Vitor Santos Costa
|
a221244b8c
|
fix bug in following retry chains.
|
2009-03-17 20:10:14 +00:00 |
|
Vitor Santos Costa
|
4fa27164e6
|
oops!
|
2009-03-16 22:22:07 +00:00 |
|
Vitor Santos Costa
|
77eaff31b8
|
cleanup stack shifting when inserting holes (growglobal).
|
2009-03-16 17:30:13 +00:00 |
|
Vitor Santos Costa
|
6a45dbc98a
|
use correct location for problog.
|
2009-03-16 15:13:47 +00:00 |
|
Vitor Santos Costa
|
4cac5b6616
|
ld_path is not a fixed atom
|
2009-03-16 15:12:48 +00:00 |
|
Vitor Santos Costa
|
5ef03f2d0f
|
fix BLOB operations and get rid of warning
|
2009-03-14 10:06:55 +00:00 |
|
Vitor Santos Costa
|
4ab17198b7
|
fix eval (quick fix).
|
2009-03-14 09:42:35 +00:00 |
|
Vitor Santos Costa
|
add296ba37
|
fix handling of holds.
|
2009-03-13 21:57:15 +00:00 |
|
Vitor Santos Costa
|
c49661f88c
|
support for SGML package, for the faint of heart!
|
2009-03-13 19:40:56 +00:00 |
|
Vitor Santos Costa
|
67b29f3c85
|
improve SWI compatibility.
|
2009-03-13 19:40:27 +00:00 |
|
Vitor Santos Costa
|
d6a06fe092
|
Experiment with porting SGML to YAP, and trying to preserve SWI code as much
as possible.
|
2009-03-13 19:39:06 +00:00 |
|
Vitor Santos Costa
|
754f00d311
|
fix PLStream to
actually link
not collide with YAP builtins (for now).
initialise current encoding.
|
2009-03-13 19:37:52 +00:00 |
|
Vitor Santos Costa
|
1161f80426
|
fix calling SWI C-Predicates.
|
2009-03-13 19:36:38 +00:00 |
|
Vitor Santos Costa
|
08acf82266
|
handle non-wide atoms correctly.
|
2009-03-13 19:00:14 +00:00 |
|
Vitor Santos Costa
|
a1b58f61e0
|
conditional compilation of thread inlines
|
2009-03-13 12:06:57 +00:00 |
|
Vitor Santos Costa
|
8b118f1778
|
fix bad lock
|
2009-03-13 11:49:38 +00:00 |
|
Vitor Santos Costa
|
c9c097b32d
|
improve implementation of call_with_args/*
|
2009-03-13 11:11:04 +00:00 |
|
Vitor Santos Costa
|
398c21db18
|
tell about clpqr.
|
2009-03-10 18:09:15 +00:00 |
|
Vitor Santos Costa
|
4db453ba0b
|
tell people to use clpqr
|
2009-03-10 18:08:37 +00:00 |
|
Vitor Santos Costa
|
503d97af90
|
make top-level error handling a bit more compatible with SWI.
|
2009-03-10 18:07:50 +00:00 |
|
Vitor Santos Costa
|
fc2e01f320
|
improve code for disjunctions by trying to avoid permanent variables.
|
2009-03-10 16:24:26 +00:00 |
|
Vitor Santos Costa
|
e4d6b529c7
|
fix bad merge in put/get instructions
|
2009-03-10 16:23:43 +00:00 |
|
Vitor Santos Costa
|
7726944e1b
|
back to normal.
|
2009-03-10 16:22:45 +00:00 |
|
Vitor Santos Costa
|
21aba71211
|
get rid of unused builtins.
|
2009-03-10 16:21:33 +00:00 |
|
Vitor Santos Costa
|
b744fabb71
|
new predicates for variable search in term.
|
2009-03-10 16:21:05 +00:00 |
|
Vítor Santos Costa
|
eb5fc96ca6
|
simplecudd should not be a default.
|
2009-03-10 14:19:10 +00:00 |
|
Vitor Santos Costa
|
e7634b216e
|
fix configure.in not to ask for ProbLog path file.
|
2009-03-10 09:41:22 +00:00 |
|
Vitor Santos Costa
|
cd548813fd
|
make $variables_in_term/3 check for repeated variables, ie (vint(a(X),[X],[X])).
|
2009-03-09 14:15:41 +00:00 |
|
Vitor Santos Costa
|
828964c3c1
|
remove optimised arithmetic instructions. They made the emulator even bigger than
usual, and they were not performing.
|
2009-03-09 11:52:01 +00:00 |
|
Vitor Santos Costa
|
43019a496f
|
last fixes of ProbLog
|
2009-03-09 00:45:14 +00:00 |
|
Vitor Santos Costa
|
4af5713fd2
|
use current version of library
|
2009-03-09 00:44:30 +00:00 |
|
Vitor Santos Costa
|
0aadc24d20
|
config support for Makefile.
|
2009-03-09 00:43:45 +00:00 |
|
Vitor Santos Costa
|
014d6fdacb
|
configure support for ProbLog
|
2009-03-09 00:43:18 +00:00 |
|
Vitor Santos Costa
|
a6747da26e
|
simplecudd interface
|
2009-03-09 00:42:12 +00:00 |
|
Vitor Santos Costa
|
620ac64fdd
|
git learning stuff.
|
2009-03-09 00:40:50 +00:00 |
|
Vitor Santos Costa
|
1c87f3b41a
|
Updated ProbLog Makefile and updated Problog top files.
|
2009-03-09 00:40:12 +00:00 |
|
Vitor Santos Costa
|
b04e6a2c2e
|
remove old submodules.
|
2009-03-06 11:33:58 +00:00 |
|
Vitor Santos Costa
|
3bcee78224
|
another attempt at removing package chr.
|
2009-03-06 11:29:12 +00:00 |
|