3e8dc5cd19
try to handle overflows in stack dumpers.
2010-04-29 10:29:06 +01:00
ddb1cd8604
adding two new modes to the yap_flag/2 and tabling_mode/2 built-in
...
predicates: 'local_trie' mode and 'global_trie' mode.
2010-04-16 02:08:06 +01:00
e122f2ca8d
Global trie support: atomic terms (vars, integers and atoms) are now stored
...
in the local tries (and not in the global trie). This required major changes
to the trie instructions in order to unify the use of the auxiliary stack
organization for the terms in the local tries and in the global trie.
2010-04-15 01:09:59 +01:00
d5e1ff38f4
new interface to access globals. They are not in a file called GLOBALS, from which
...
we generate several files automatically.
2010-03-21 22:12:42 +00:00
e440953256
use IsAttVar
2010-03-08 09:19:57 +00:00
8b18242138
fix missing ; (obs from Paulo Moura).
2010-03-01 00:06:45 +00:00
16a9c8a807
SWI-compatible source_file/1 and 2
2010-02-28 22:24:51 +00:00
4d341f2aab
fix bad call to gc (obs from Jose Santos).
2010-01-29 15:21:00 +00:00
89e38cbcc0
or_last is different under yapor.
2010-01-15 16:15:36 +00:00
c6406b822b
prolog: multifiles are not really system predicates (they can be redefined).
2009-11-23 10:10:47 +00:00
71de4ed52a
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
2009-11-18 13:13:51 +00:00
c108ac508d
check for callable before looking at predicate terms...
2009-11-18 13:13:16 +00:00
c51c17aa52
make sure to get valid terms in meta_call, not references.
2009-11-17 00:23:34 +00:00
a628079e00
make sure we walk every clause when doing restore mega_clause.
2009-11-02 12:46:39 +00:00
0ea348c26d
extend SWI interface with PL_toplevel and to handle C++ code.
...
prolog/0 built-in
fixes to parms.h changes.
2009-10-23 16:50:43 +01:00
0179998d60
change Heap.h to YapHeap.h
...
rename $live to prolog/0 (for SWI compatibility).
2009-10-23 14:22:17 +01:00
32122f4171
make sure we have enough room when splitting mega clause.
2009-09-12 16:43:44 -05:00
f877e78785
make YAP compile with --enable-or-parallelism
2009-08-19 21:53:49 -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
fc31e7066e
improve the support for deterministic tabling (still experimental,
...
problems mainly with the garbage collector)
2009-08-07 17:29:53 +01:00
5e4d7078ab
support for trie compact lists (version 2): this new version uses
...
different marks to distinguish the lists ending with the empty list
from the lists ending with a non-empty list term.
2009-07-05 05:14:08 +01:00
924cf77fed
fix another loop in spy_pred.
2009-06-23 23:24:16 -05:00
058b389566
asserta dynamic predicates should not kill preexisting code.
2009-06-23 06:51:28 -05:00
d47560342c
more fixes to call_counter: try to keep on counting system builtins.
2009-06-22 12:40:55 -05:00
50f7a80546
transfer call and profiler to spy.
2009-06-22 11:12:56 -05:00
51e669dcfb
support for passing priority as argument to write. (Ulrich's #45 ).
...
fixes on making write handle infinite loops
2009-05-22 13:24:27 -05:00
3c84466d05
asserting on a spied predicate might make it loop for ever :(
2009-04-21 18:51:01 -05:00
f46ff06f38
get rid of broken $clause/3: fixes listing of dynamic predicates.
2009-03-26 08:12:24 +00:00
d7c2c74acc
fix counting of C-pred: it should not be in caller.
2009-02-26 00:00:23 +00:00
95fc66be25
more fixes to profiling code.
2009-02-25 22:15:18 +00:00
94ebb90719
UDI patch: make it work with YAP.
2009-02-20 11:42:48 +00:00
f7046286a0
cleanups and a bug fix (it is lp now, not just p as before).
2009-02-12 21:45:41 +00:00
8a6e0acedc
compiler support for udi including user_index instruction
2009-02-12 21:35:31 +00:00
9a0d481528
avoid too many discontiguous warnings by keeping track of last clause predicate.
2009-02-10 23:42:26 +00:00
0886bd2e59
get rid of unused mk_cl_not_first.
2009-02-10 23:17:41 +00:00
8a3978e3e1
rename BinaryTestPredFlag to BinaryPredFlag
...
get rid of small annoying arithmetic bugs
2009-02-09 21:56:40 +00:00
b1cf60cafb
moe changes to support atomic generation of atoms
...
support automatic generation of code walker (to find P's predicate and clause)
2008-12-24 09:04:44 +00:00
a8ac9bfb43
generate known atoms and functors automatically
2008-12-23 01:53:52 +00:00
a36be5bf20
massive changes to support new scheme for arithmetic:
...
- compilation and assembly support
2008-12-09 12:54:27 +00:00
821cc384a3
allow statistics on data base keys of integers.
...
change pred_entry not to fail on this case.
avoid using functor in this case.
2008-09-15 04:30:09 +01:00
fdf762e326
push changes to make tabling work: don't ignore tabling and yapor fields
...
in optype.
2008-09-05 05:22:19 +01:00
6046f9f913
more fixes to debugger: make l and s option do what they are supposed to
...
do.
fix k and t, they had been broken.
Ideas:
DebugOn is now in the system and can disable spypoints.
Have an extra flag to distinguish fast (t,z,k) and slow(l,s) jumping.
2008-09-02 03:48:02 +01:00
8f69c35e7f
optime access to execute_cpred
2008-09-01 16:48:05 +01:00
84ad9adff0
fix clause to support new execute_cpred
2008-09-01 16:30:37 +01:00
b2d9eb7aac
instructions xyc really has optype xyn.
2008-08-30 23:00:50 +01:00
2a84e259a2
Upgrade to new CHR (with Jan's changes).
...
Found out I need to add an extra field to allocate so that the
exception handling code knows where the clause is.
Protect creep_allowed from NULL pointers.
2008-08-30 16:24:44 +01:00
1226b58d8e
The debugger relied on the environment stack. To fix it:
...
- absmi.c now tells who called the debugger, besides who it was calling
- this is used to control whether we allow a goal to be debugged.
- I have creep to start creeping immediately, and signal_creep to tell
the next meta-call to creep what it executes!
- The debugger uses CalledFromTheDebugger to know if it is within the
debugger. If so, we do not need to creep on leaving.
2008-08-30 02:39:36 +01:00
d636450512
more fixes to make rclause.h automatic:
...
define new type n for Integers, as they were mistaken for Term.
define early return cases and ifdef exceptions.
2008-08-29 17:27:11 +01:00
17ba194c1e
Include new instruction execute_cpred to perform tail optimisation for
...
builtins. Required changes:
- be careful about creeping in deallocate: it may be followed by
something that is not a cut nor a proceed.
- include new instruction in absmi.c: it is a merge of execute and
call_cpred.
- change compiler to generate execute even for C builtins.
- be careful with dexecute: it may not be done if execute_op is a C
builtin.
- if we are in execute_cpred, the garbage collector cannot trust P:
instead it must look at CP to find out the size of the current
environment. The macro gc_P receives that information.
- We don't need to change CP if we do a meta-call from within
execute_cpred (and we in fact cannot). Check places where we do
meta-calls: exec, clause in cdmgr, and lu_recorded.
2008-08-28 04:43:00 +01:00
Vitor Santos Costa
Ricardo Rocha
Vítor Manuel de Morais Santos Costa
Costa Vitor
Vítor Santos Costa