Vítor Manuel de Morais Santos Costa
98f79484ae
change throw mechanism to fit better with cleanup mechanism:
...
- balls are now stored off line and recovered by Prolog code when everything
is safe.
- if a ball exists, throw uses the *existing* one (be careful not to have one
laying around).
- Jump routine cleans up every cp except ones for setup_call handling, backtracking simply calls setup handlers.
2009-11-27 11:21:24 +00:00
Vítor Manuel de Morais Santos Costa
7f5da32c08
fix trail when you do a jumpenv (Ulrich Neumerkel #152 )
2009-11-25 09:47:38 +00:00
Vitor Santos Costa
50d720a9c6
fix current_op/3 by walking over the chain of ops or properties and moving complex code to Prolog (obs from Paulo Moura).
2009-11-25 00:38:47 +00:00
Vitor Santos Costa
ccaab728af
handle user operators as "prolog" operators.
2009-11-25 00:38:29 +00:00
Vitor Santos Costa
2ab3308a56
fix restore of opentries.
2009-11-25 00:38:05 +00:00
Vitor Santos Costa
1136597f6f
fix debugging info (obs from Jose Santos).
2009-11-23 23:43:12 +00:00
Vitor Santos Costa
9f27ab5ab3
fix typo in minisat compilation
2009-11-23 21:03:04 +00:00
Ricardo Rocha
7640d65609
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
2009-11-23 18:49:23 +00:00
Ricardo Rocha
8a557012dd
add primitive YAP_IsLongIntTerm to the C Language interface.
2009-11-23 18:46:57 +00:00
U-Xato7\Vsc
5e70ff47b3
TrueFileName was rewriting input atom in WIN32 :( (obs from Jos Deroo)
2009-11-23 18:42:28 +00:00
U-Xato7\Vsc
dd60f64f42
WIN32 can get confused with C and c type files, so, just in case.
2009-11-23 16:02:47 +00:00
U-Xato7\Vsc
25b5464fe8
handle correctly next element after operator property.
2009-11-23 16:02:05 +00:00
U-Xato7\Vsc
691abd8243
check_opcodes is unused in WIN32_, don't declare it.
2009-11-23 16:01:41 +00:00
Vítor Manuel de Morais Santos Costa
b300db2e96
LOW_PROF uses FILE structure, and therefore requires stdio.h
2009-11-23 13:52:13 +00:00
Vítor Manuel de Morais Santos Costa
86715801bf
fix missing stripostfix, and add stricmp (although one should use strcasecmp).
2009-11-23 13:41:07 +00:00
Vitor Santos Costa
56d9666197
port of SWI-Prolog's plunit.
2009-11-23 10:55:10 +00:00
Vitor Santos Costa
fe6148ef15
be more cautions about removing prolog: from calls.
2009-11-23 10:15:11 +00:00
Vitor Santos Costa
a1496769ad
upgrade to more recent version.
2009-11-23 10:14:56 +00:00
Vitor Santos Costa
67999ec4df
atomic_list_concat/2.
2009-11-23 10:14:23 +00:00
Vitor Santos Costa
2d2fb30167
atomic_list_concat/2 and fix some reverse mode ops in atom_concat/3.
2009-11-23 10:13:55 +00:00
Vitor Santos Costa
025ee58f58
some SWI predicates became system predicate. Add stubs for $ predicates.
2009-11-23 10:12:10 +00:00
Vitor Santos Costa
c6406b822b
prolog: multifiles are not really system predicates (they can be redefined).
2009-11-23 10:10:47 +00:00
Vitor Santos Costa
6852a0c861
make =@= an well known alias to variant.
2009-11-23 10:10:14 +00:00
Vitor Santos Costa
31e5c54125
support message_string/2 for SWI emulation.
2009-11-23 10:09:32 +00:00
Vitor Santos Costa
e4c9d69044
in SWI mode allow new flags to be silently defined.
2009-11-23 10:06:51 +00:00
Vitor Santos Costa
657e0a13bd
inline implemetation of a(2,1,X) should not return error, just silently fail.
2009-11-23 10:06:13 +00:00
Vitor Santos Costa
84f5dfec7d
document souce_location/2.
2009-11-23 10:05:52 +00:00
Vitor Santos Costa
b15d9c0363
add source_location for SWI compatibility
2009-11-23 10:02:40 +00:00
Vitor Santos Costa
d91bab4247
make sure goal_expansion is never seen as an undefined goal. It should at least always succeed.
2009-11-23 10:01:55 +00:00
Vitor Santos Costa
a132707746
undo PL_error updates
2009-11-21 22:21:17 +00:00
Vitor Santos Costa
d637451bd6
make sure to put TR correctly (fixes copying DB terms with att vars #148 )
2009-11-21 00:23:03 +00:00
Vitor Santos Costa
58cac4c8eb
fixes for SYSTEM_MALLOC case (where we cannot trust Yap_HeapTop and Yap_HeapBase).
2009-11-20 08:52:00 +00:00
nf@khaixa.(none)
1bfbe535da
Extended support for SWI-Prolog C interface.
2009-11-20 08:42:22 +00:00
Vitor Santos Costa
ffe1dfdfff
support for module based operators.
2009-11-20 00:33:14 +00:00
Vitor Santos Costa
a2927c4a72
=@= needs not be in lib.
2009-11-20 00:32:45 +00:00
Vitor Santos Costa
628d181923
protect against var usage.
2009-11-20 00:32:14 +00:00
Vitor Santos Costa
73bba98946
add extra protection against useless shifts.
2009-11-20 00:31:09 +00:00
Vitor Santos Costa
26e4ce7e27
fix bug in restore operators.
2009-11-20 00:30:36 +00:00
Vitor Santos Costa
8c1ba9562a
fix bad test in tabling mode.
2009-11-19 08:33:10 +00:00
Vitor Santos Costa
d476e36a90
initialise LOCAL in system_malloc (obs from Jose Santos).
2009-11-19 08:25:08 +00:00
Vitor Santos Costa
d9016fa650
init_local should be called Yap_init_local to avoid clashesh.
2009-11-19 08:24:38 +00:00
Vitor Santos Costa
432cce1c49
VISUALC++ understands prototypes, hurray! (obs from Cristiano Pitangui).
2009-11-18 23:39:18 +00:00
Vitor Santos Costa
9cbdf8f57e
tiny cleanups.
2009-11-18 23:36:07 +00:00
Vitor Santos Costa
7ddaaa1362
Term is Unsigned so you cannot add a negative to it and get away :(
2009-11-18 23:33:09 +00:00
Vitor Santos Costa
dcf7e282c8
bugs in restoring Heap: stuff repeated twice or at bad locations.
2009-11-18 23:32:31 +00:00
Vitor Santos Costa
6c887452e6
allow randomization of initial address, this enables testing restore routine.
2009-11-18 23:32:00 +00:00
Vítor Manuel de Morais Santos Costa
7155fbec22
fix bad ordering in HEAPFIELDS: OPERANDS must be well placed before we can
...
recover atom table and dependent preds.
2009-11-18 15:48:29 +00:00
Vítor Manuel de Morais Santos Costa
71de4ed52a
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
2009-11-18 13:13:51 +00:00
Vítor Manuel de Morais Santos Costa
c108ac508d
check for callable before looking at predicate terms...
2009-11-18 13:13:16 +00:00
Vítor Manuel de Morais Santos Costa
a316090f8c
fix nth_instance: fix bugs and actually add two versions (obs from Theofrastos Mantadelis)
2009-11-18 13:06:37 +00:00
