d649ba5894
first cut at make/0y
2009-10-15 12:56:16 +01:00
dd6ac5a8f2
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
2009-10-13 14:51:37 +01:00
f9436a7faa
Doc: ISO status added
2009-10-13 14:51:16 +01:00
61ead4a2e9
Doc: Corrected ISO status
2009-10-13 14:50:31 +01:00
d459283a69
typo
2009-10-13 14:49:48 +01:00
7120e79dd6
include the library shm.h only when needed
2009-09-29 00:56:58 +01:00
7d841065e9
support for the common global trie (version GT-T: global trie for terms)
2009-09-27 02:31:31 +01:00
218bc2e423
fix to slow reconsult (Jos Deroo)
2009-09-20 10:03:10 -05:00
56d37591a5
fix var_in_term
2009-09-12 17:17:16 -05:00
a1d44f068e
fix stupid typo.
2009-09-12 16:45:00 -05:00
c0fd49df34
fix bad functor in heap routines.
2009-09-12 16:44:28 -05:00
32122f4171
make sure we have enough room when splitting mega clause.
2009-09-12 16:43:44 -05:00
fc28a49122
just use stderr
2009-09-12 16:43:18 -05:00
4e4d486dee
fix compilation errors
2009-09-09 18:13:12 -05:00
307446d000
improve evidence handling in CLP(BN).
2009-09-09 18:02:09 -05:00
0688fb4d68
handle old style binding lists.
2009-09-09 18:00:35 -05:00
ef05f4a919
how did append/3 come up twice in lists?
2009-09-09 18:00:04 -05:00
e1a724e456
allow unification not to bound a variable.
2009-09-09 17:59:49 -05:00
1e905eb5ef
allow unification not to bound a variable.
2009-09-09 17:59:25 -05:00
ce76be4e77
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
2009-09-07 22:19:41 -05:00
1e16a9c339
modern machines do not guarantee sequential consistency.
2009-09-07 20:42:19 -05:00
9047ad2e6e
fix bad call.
2009-09-02 23:08:36 -05:00
903358724d
fix bad code in between (obs from Jose Santos).
2009-09-02 23:07:43 -05:00
5fb3ec0515
fix repeated definition for halt.
2009-09-01 00:00:08 -05:00
d02c9d23c2
handle cases where test is called with unbound variable.
2009-08-31 23:59:34 -05:00
4431682276
get rid of unused variable.
2009-08-31 23:58:05 -05:00
a00c69b6f7
badly initialised memory stream (obs from J Santos).
2009-08-31 23:56:00 -05:00
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
Vítor Manuel de Morais Santos Costa
Ulrich Neumerkel
Ricardo Rocha
Vitor Santos Costa
Costa Vitor
Ricardo Rocha