Vítor Santos Costa
|
ab14365a30
|
try to make bdds work with EM.
|
2012-10-03 10:23:27 +01:00 |
|
Vitor Santos Costa
|
01e1a14160
|
improve indirect evidence handling in PFL queries (obs from Andrea)
|
2012-10-03 09:50:50 +01:00 |
|
Vítor Santos Costa
|
ce7adaa632
|
text ARG2 first (obs from Ulrich Neumerkel)
|
2012-10-03 09:22:27 +01:00 |
|
Vítor Santos Costa
|
e60b485134
|
fix cyclic_term mess up from yesterday.
|
2012-10-03 09:11:37 +01:00 |
|
Vítor Santos Costa
|
a3757ddbd7
|
more examples.
|
2012-10-02 15:16:30 +01:00 |
|
Vítor Santos Costa
|
237976cf30
|
documment new builtins.
|
2012-10-02 15:15:16 +01:00 |
|
Vítor Santos Costa
|
4de83f5f52
|
include cyclic_term and friends.
|
2012-10-02 15:14:41 +01:00 |
|
Vítor Santos Costa
|
8eede3eb73
|
fix ground cyclic terms (thanks to Paulo).
|
2012-10-02 15:13:52 +01:00 |
|
Vítor Santos Costa
|
e6fb32d9ca
|
fix problem with conditional_probability/3 and evidence (obs from Andrea Sterbini).
|
2012-10-02 14:26:42 +01:00 |
|
Vítor Santos Costa
|
20080c0a24
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2012-10-02 08:49:47 +01:00 |
|
Vítor Santos Costa
|
85e9da1332
|
hve with em works now.
|
2012-10-02 08:49:16 +01:00 |
|
Vítor Santos Costa
|
c30e71fe68
|
add missing interface.
|
2012-10-02 08:48:35 +01:00 |
|
Vítor Santos Costa
|
c8468f6391
|
add foldl4
|
2012-10-02 08:47:27 +01:00 |
|
Vítor Santos Costa
|
793907f710
|
more EM stuff
|
2012-09-29 11:50:00 +01:00 |
|
Vítor Santos Costa
|
78a08e1b87
|
fix length/2 error handling.
|
2012-09-27 22:32:50 +01:00 |
|
Vítor Santos Costa
|
169339d5be
|
fix atom_length/2 ISO.
|
2012-09-27 22:32:12 +01:00 |
|
Vitor Santos Costa
|
d688ee0295
|
fix -lm
|
2012-09-27 11:48:58 +01:00 |
|
Vítor Santos Costa
|
76088ca8b3
|
support binaries.
|
2012-09-26 23:10:22 +01:00 |
|
Vítor Santos Costa
|
5249d02107
|
debug routine.
|
2012-09-26 23:08:01 +01:00 |
|
Vítor Santos Costa
|
74fd98832a
|
upgrade compilation flags.
|
2012-09-26 22:59:22 +01:00 |
|
Vitor Santos Costa
|
710be1a5e8
|
add slots after new stack extension.
|
2012-09-26 22:08:17 +01:00 |
|
Vitor Santos Costa
|
55f28a75ab
|
be a bit more careful saving state.
|
2012-09-26 22:07:47 +01:00 |
|
Vitor Santos Costa
|
20d31b8207
|
"-nosignals" option (used by JPL)
|
2012-09-26 22:06:59 +01:00 |
|
Vitor Santos Costa
|
01f8731f97
|
add -nosignals option.
|
2012-09-26 14:50:06 +01:00 |
|
Vitor Santos Costa
|
7424a7376c
|
fix reverse linking with yap from target library.
|
2012-09-26 14:49:21 +01:00 |
|
Vitor Santos Costa
|
0e2055d359
|
use both lib64 and lib
|
2012-09-26 13:53:50 +01:00 |
|
Vitor Santos Costa
|
9597d1e75f
|
fix library access order.
|
2012-09-26 13:50:25 +01:00 |
|
Vítor Santos Costa
|
83c5c7e7af
|
more PFL support.
|
2012-09-26 00:04:58 +01:00 |
|
Vítor Santos Costa
|
83418f8f27
|
bdd and pfl integration work (partial patch).
|
2012-09-24 14:36:30 +01:00 |
|
Vítor Santos Costa
|
ac863833ff
|
PFL machinery
|
2012-09-23 13:25:15 +01:00 |
|
Vítor Santos Costa
|
309dfaa813
|
aggregates in PFL: exa,ple
|
2012-09-23 13:24:49 +01:00 |
|
Vítor Santos Costa
|
34dc03d43b
|
new version of ve
|
2012-09-23 13:23:53 +01:00 |
|
Vítor Santos Costa
|
2603f18a10
|
support factors
|
2012-09-23 13:23:37 +01:00 |
|
Vítor Santos Costa
|
d73b2ac673
|
convert keys to numbers.
|
2012-09-23 13:23:05 +01:00 |
|
Vítor Santos Costa
|
709843717f
|
latest swi repo
|
2012-09-21 13:11:46 +01:00 |
|
Vítor Santos Costa
|
2673c56982
|
new version.
|
2012-09-21 13:08:25 +01:00 |
|
Vítor Santos Costa
|
a3435f5a7b
|
SWI compatibility additions
|
2012-09-21 13:07:10 +01:00 |
|
Vítor Santos Costa
|
19e565a1c7
|
jpl support: swi sharing updates
|
2012-09-21 12:58:51 +01:00 |
|
Vítor Santos Costa
|
f38e80f659
|
jpl support: swi sharing updates
|
2012-09-21 11:50:55 +01:00 |
|
Vítor Santos Costa
|
d5bf100b71
|
make full init even before entering Prolog top-level
|
2012-09-21 11:49:59 +01:00 |
|
Vítor Santos Costa
|
ceb5785120
|
new commits.
|
2012-09-18 23:13:07 +01:00 |
|
Vítor Santos Costa
|
419bd2b219
|
Fix WriteBuffer and add WriteDynamicBuffer
|
2012-09-18 23:07:32 +01:00 |
|
VITOR SANTOS COSTA
|
89030ce97d
|
Fix WriteBuffer and add WriteDynamicBuffer
|
2012-09-18 23:06:26 +01:00 |
|
VITOR SANTOS COSTA
|
a6c91c99c7
|
more cleanups.
|
2012-09-11 14:22:18 +01:00 |
|
VITOR SANTOS COSTA
|
2c0fd47e56
|
fix ReadFromBuffer
|
2012-09-11 14:21:55 +01:00 |
|
VITOR SANTOS COSTA
|
c5bbbd9f93
|
support archive package
|
2012-09-11 14:21:09 +01:00 |
|
Vítor Santos Costa
|
8d779f68ea
|
fix writebuffer interface
|
2012-09-08 00:12:38 +02:00 |
|
Vítor Santos Costa
|
fa2c5ee114
|
more foldl2
|
2012-09-07 07:42:16 +02:00 |
|
Vítor Santos Costa
|
9019a1a7b7
|
RTLD_NOLOAD may not always be loaded
dlopen should always have a matching dlclose.
|
2012-09-07 07:40:18 +02:00 |
|
Vitor Santos Costa
|
dcc5b57016
|
remove broken meta-call optimisation.
|
2012-09-07 00:21:57 -05:00 |
|