8bde2a0d72
support control.yap
2009-08-20 10:39:25 -05:00
12d793755e
load control.yap
2009-08-20 10:38:33 -05:00
2984a660fb
make setup in setup_call_cleanup deterministic ( #141 )
...
break utils.yap and transfer control functionality to control.yap
2009-08-20 10:36:58 -05:00
dbd5b09303
make low_level_tracer compile sequentially, again.
2009-08-20 09:38:30 -05:00
3cbdc8d14a
make low level tracer understand yapor.
2009-08-19 23:46:51 -05:00
4c9f440b07
simplify YAPOR.
2009-08-19 22:45:11 -05:00
33085fd8d1
fix YAPOR not being threadtes as threads.
2009-08-19 22:44:48 -05:00
f877e78785
make YAP compile with --enable-or-parallelism
2009-08-19 21:53:49 -05:00
80b97aafaa
make flush_output easier to understand.
2009-08-19 20:24:13 -05:00
b4502969ad
make types compatible.
2009-08-19 20:23:52 -05:00
6453cf5ae7
avoid unnecessary backtracking.
2009-08-19 20:23:20 -05:00
84646ee581
make includes compatible with configure.in
2009-08-19 20:22:49 -05:00
418fa1a396
64 bit machines may be using S while calling ExpandIndex.
2009-08-19 20:22:04 -05:00
40ea33c150
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
2009-08-12 10:01:34 -05:00
dccf3cf8a2
assert logupd should set the clause in use (obs by Jose Santos).
2009-08-12 10:00:38 -05:00
9dc0618a12
make the support for compact lists the default configuration for the tabling engine
2009-08-12 14:32:12 +01:00
23d44f959d
include cp_h field in deterministic choice points, otherwise we get in trouble
2009-08-09 03:38:07 +01:00
4f6676e5af
fix garbage collector for deterministic tabling (still very
...
experimental)
2009-08-08 05:02:27 +01:00
4bdf8bf991
if the current generator choice point is the topmost choice point and
...
the current call is deterministic then the current answer is
deterministic and we can perform an early completion and remove the
current generator choice point
2009-08-08 03:53:51 +01:00
fc31e7066e
improve the support for deterministic tabling (still experimental,
...
problems mainly with the garbage collector)
2009-08-07 17:29:53 +01:00
cc2c6dbe71
make the parallel and sequential code to check/insert nodes in the
...
trie more consistent
2009-08-07 06:27:34 +01:00
375f3b7bc6
fix debugging procedures for tabling
2009-08-07 04:46:45 +01:00
981bee74f0
fix garbage collector for dealing with float/longint trie instructions
2009-08-07 04:34:48 +01:00
7d50687c46
stdio.h include missing
2009-08-07 00:16:21 +01:00
b4a71ad43a
empty --> EMPTY
2009-08-06 18:34:21 +01:00
36e6925776
make the support for early completion optional (macro TABLING_EARLY_COMPLETION)
2009-08-06 02:27:59 +01:00
cf5d68edda
fix recursive functions that manipulate tries
2009-08-05 05:48:00 +01:00
f68cc92bce
make sure binary files are open as binary in WIN32 (obs from Meera Sridhar).
2009-08-02 16:04:21 -05:00
2c53d1f8ed
fix error message in put
2009-08-02 15:54:27 -05:00
068242a833
mention examples in README file.
2009-07-31 17:39:21 -05:00
77e947cdae
- upgrade to latest simplecudd.
...
- fix paths in learning.
2009-07-31 17:04:11 -05:00
98843bea46
update to version 07312009 of ProbLog.
2009-07-31 12:18:03 -05:00
1fa608010a
for some reason, tabling codes likes using cp_ap == NULL for SLD complete goals.
2009-07-31 08:31:17 -05:00
5327c8bfe7
gc of tabling cps: now, if current cp is in gen chain, mark it as completion,
...
otherwise, mark it as trust_fail.
2009-07-31 08:29:27 -05:00
daa05caf86
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
2009-07-28 21:38:26 -05:00
9c74080512
fix memory overflow when doing very large writes on strings (obs from Jos Deroo).
2009-07-28 18:30:15 -05:00
93c6e65b7e
tabling would set ap=NULL on producers and SLD nodes. Set SLD trusted nodes to TRUST_FAIL.
2009-07-24 15:08:07 -05:00
59e0f71a7d
trust_fail needs not to mark environments, but in contrast termination needs.
2009-07-24 15:07:39 -05:00
11fb9183e1
make sure we track both producers and consumers (I am not sure we need to track
...
producers, though)
Always mark choicepoint, even if cp_ap==NULL (fixes wine).
2009-07-23 23:13:16 -05:00
22ac3ee80b
Use >< for xor (Paulo Mour, Iso meeting)
2009-07-23 14:31:04 -05:00
a1e6a2baa7
bad priority for +/1. (Paulo Moura, ISO)
2009-07-23 14:27:04 -05:00
7155aa943f
make sure that variables in tabled predicates are safe for backtracking: new
...
variables should be bound carefully.
2009-07-22 23:28:04 -05:00
4882cefa12
get rid of debugging code.
2009-07-22 17:02:56 -05:00
0e2d3e3a91
fix bad argument processing in non-inlined arithmetic comparisons.
2009-07-22 17:02:02 -05:00
c8946e1e4e
support inline arithemtic builtins as non-inlined.
2009-07-22 17:01:30 -05:00
d9a48c4014
disable inlining in tabled predicates (maybe a bit too harsh).
2009-07-22 17:00:49 -05:00
014209c22f
undo bug fix, it just handled one case.
2009-07-22 14:31:15 -05:00
ead58f6b34
in tabled mode, replace X is Y by X=X', is(Y') to avoid cases where Y is assigned determinastically but needs to be later restored. (obs Ricardo Rocha)
2009-07-22 14:23:32 -05:00
c1024caa53
Unify emptylist of variables if one reads EOF.
2009-07-21 00:11:44 -05:00
82b1a6f62a
make it compile back in Unix.
2009-07-20 23:13:36 -05:00
Vitor Santos Costa
Costa Vitor
Ricardo Rocha
Ricardo Rocha
U-Khasa\Vitor
Costa Vitor