80c38081da
no need for special procceed instruction.
2010-10-12 22:02:51 +01:00
fae29012a9
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-10-11 14:46:53 +01:00
e5232bc8fc
force system to check for overflows at end of procceed for clauses with body.
2010-10-11 14:45:15 +01:00
61d99731c8
avoid recursion on very deep sequences of static indices.
2010-10-07 18:14:55 +01:00
99c5a17b12
Implement Halt Hook (request from Bernd).
2010-09-24 14:00:53 +01:00
e4a15cba33
div/2 operators (from WG17 and #176 )
2010-08-30 21:50:33 -05:00
8592db72d7
start 6.0.7
2010-08-04 20:29:24 +01:00
bebb236e32
improve SWI compatibility, especilaly for threaded stuff.
2010-08-04 11:37:12 +01:00
c081d01e78
implement access_file/2 in C
2010-08-03 21:04:16 +01:00
d62d88731d
NetBSD also exists.
2010-08-03 01:47:56 +01:00
fd64559643
NetBSD compilation
2010-08-02 22:41:32 +01:00
388f4fb782
expand C-interface to allow access to common term operations (request from Ingo Molnar).
2010-08-02 19:48:17 +01:00
473fd5516d
small fix to Osbmp type instructions.
2010-08-02 19:47:29 +01:00
ffc094e25f
make sure we have enough room before we enter a clause.
2010-08-02 18:20:03 +01:00
3d6e223dae
support for space reservation (goal: call gc before trying to insert very large terms).
2010-08-02 13:04:30 +01:00
30caf35bff
fix bad overflow handling in ==
2010-07-29 22:36:30 +01:00
ccb7991a56
should not use PP for thread private
...
more lock tracing aids.
2010-07-28 11:26:20 +01:00
86af6ff3f6
add THOR to threads version.
2010-07-28 00:30:02 +01:00
af056dd605
fix tabling to compile with threads+ or-parallelism.
2010-07-27 23:09:17 +01:00
18d77309a6
c_inp_stream and friends are thread private!
2010-07-27 17:28:58 +01:00
e031026a62
instrument PE locking
...
fix missing unlock in index_pred (if predicate had been indexed while we were
waiting).
2010-07-25 11:22:16 +01:00
eebff5df6a
fixes to YAP C-thread interface.
2010-07-23 12:07:33 +01:00
3dd68aa8bd
fix EX: it cannot be a term and it should be a placeholder for BallTerm,
...
so the twp can never be alive at the same time.
2010-07-21 12:49:06 +01:00
b61d69ffe8
allow SWI Interface to send/receive wide characters.
2010-07-21 10:58:24 +01:00
396a0716c7
fix silly DEPTH_RESET definition.
2010-07-20 11:20:57 +01:00
8edeead245
fix compilation warnings
2010-07-19 22:42:47 +01:00
6ebc31f2d8
codes/2 functor (used by format).
2010-07-19 14:48:42 +01:00
68a1ab6ce7
make sure that we don't have tails of lists with local variables.
2010-07-19 14:39:52 +01:00
b2184ecb00
term export and import routines
2010-07-15 17:19:37 +01:00
de2d6867ad
isupport for improved SWI emulation.
2010-06-23 11:47:14 +01:00
0ca38f0b57
amd64 locking does not work
2010-06-19 22:24:41 +01:00
2d6fc978e4
fix for threading initialization
2010-06-19 14:38:04 +01:00
bd50f087e9
imore SWI compat, including string fixes
2010-06-19 00:38:49 +01:00
d1d149b9fd
support for PL_ mpz and mpq ops
...
add missing atom_nchars
2010-06-18 23:24:36 +01:00
cf90ace3e1
signal handling SWI style.
2010-06-17 08:20:34 +01:00
0ff5195bd1
object loading support
...
blob objects (not supported yet)
2010-06-17 00:31:42 +01:00
bf26536626
make frame structure thread local.
2010-06-14 09:26:32 +01:00
247d59f0ef
- slots should be considered as always live for gc.
...
- make sure slots do not die when they should be live, and vice-versa.
- improve a little on foreign_frame
2010-06-01 00:40:58 +01:00
d1599bca8d
fix extra uses of mpz_ in external code.
2010-05-28 15:29:20 +01:00
ae2421951b
fix comparison between terms when rationals come up.
2010-05-28 12:07:01 +01:00
293dadb003
support for rational numbers
...
make floor and friends return an integer (make it closer to SICStus).
2010-05-28 09:53:56 +01:00
09fef1a033
rational number support. First pass.
2010-05-27 12:24:15 +01:00
fd9f4efe0b
fix indexing of bignums (obs from Jos de Roo).
2010-05-14 12:42:30 +01:00
a4344f5bf6
move to 6.0.6
2010-05-11 22:22:13 +01:00
be2a3a635e
L constants are evil in 64 bits
2010-05-11 12:25:49 +01:00
c52dda489b
be careful around 1L and friends
2010-05-11 00:18:12 +01:00
faeef37a03
long -> Int
2010-05-10 10:21:56 +01:00
11641c5f94
64 bit cleanups.
2010-05-06 15:00:44 +01:00
ecaf6aa713
lookup with max lentgth
2010-05-06 10:58:25 +01:00
950abd136e
get rid of debugging info.
...
routines are only define with wctype.h
2010-05-05 12:51:38 +01:00
f3b6a044f6
improvements to language support.
2010-05-05 12:45:11 +01:00
950144a63f
more experiments with format
2010-05-05 00:38:46 +01:00
1a53fdc757
try to support size independent printf
2010-05-05 00:27:00 +01:00
c8c34d4773
swi_reverse_hash was in a bad place.
2010-05-04 16:31:31 +01:00
2be8bcb482
64 bit error
2010-05-04 14:53:05 +01:00
764737fe5b
add missing files.
2010-05-03 14:27:54 +01:00
31554991c8
better emulation of SWI atom_t and functor_t.
2010-05-03 14:26:56 +01:00
23d01fc7a6
version 6.0.5
2010-05-01 12:20:28 +01:00
030539f33b
PL_get_chars: Implement CVT_WRITE and CVT_WRITE_CANONICAL
2010-04-29 23:04:04 +01:00
64528946d9
fix bad name for atom.
2010-04-28 00:32:37 +01:00
3272d5d230
inform about new module for system library
2010-04-22 12:11:15 +01:00
9f7df27e3a
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
2010-04-19 15:58:41 +01:00
1029828775
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-04-19 02:36:14 +01:00
c221c2ff85
renaming some OPTYap files in order to have a more consistent name organization
2010-04-19 02:34:08 +01:00
2a7765ae5c
make clear that some files are generated automatically.
2010-04-18 21:48:20 +01:00
dd182fdeac
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
2010-04-16 12:12:37 +01:00
0e431dcf24
prefetch on x86
2010-04-16 12:12:25 +01:00
d68c7854bd
make things run in sparc-64
2010-04-16 12:12:23 +01:00
1cf17cc2fe
improve type in token
2010-04-16 12:11:52 +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
c4b12d5cbe
- fix memory leaks
...
- avoid unnecessary mallocs by having a first alloc to do th ework.
2010-04-15 22:23:54 +01:00
28e006b484
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-04-15 11:38:55 +01:00
b737ce447f
improve allocation through malloc: avoid allocating labels in the stack.
2010-04-15 11:37:39 +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
719089b96b
make PL_is_initialised honest :)
2010-04-13 00:31:48 +01:00
b1621d033a
export type of foreign fields.
2010-04-10 21:20:00 +01:00
0df80db205
protect from looking at unused fields
2010-04-10 21:19:31 +01:00
e9fce7c755
fix bad while: pred chain will be restored through pred hash table.
2010-04-09 11:55:36 +01:00
45473e939b
fix previous patch for restoring PredHashTable.
2010-04-09 11:46:59 +01:00
143022e6aa
fix bad restore: we would just restore the first predicate with same name (obs from Nuno Fonseca).
2010-04-08 00:52:00 +01:00
55b464dace
export Yap_WinError
2010-04-07 01:35:44 +01:00
9110c4db71
if we use malloc, get memory out of malloc instead of using stacks. This is in order to avoid growing stacks that never contract again.
2010-03-31 15:51:18 +01:00
91542c7be1
avoid bad alignment on 64 bits.
2010-03-30 09:16:20 +01:00
b068721c68
fix type warnings.
2010-03-22 15:01:54 +00:00
0c28e58dd4
do not randomise initial address.
2010-03-22 00:11:54 +00: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
1245c85ba1
move to version 6.0.4
2010-03-16 01:16:36 +00:00
54c0209d3a
give macros to reset and update chain of attvars in term copy.
2010-03-15 14:19:45 +00:00
117647f552
fix test
2010-03-14 09:32:31 +00:00
3683da028a
use correct tests.
2010-03-14 09:31:04 +00:00
2908d4ccbd
fix: size of quue went down.
2010-03-12 22:40:17 +00:00
53b4828000
new Atts Code.
2010-03-08 09:24:11 +00:00
ba091eb2f9
support db_ref_e:
2010-03-06 22:43:21 +00:00
9083dc5633
new functor for attributed variables.
2010-03-06 22:34:49 +00:00
43a1a754dd
erf function (patch from Bernd Gutmann).
2010-03-05 00:01:04 +00:00
50b692d2c1
change release to 6.0.3
2010-03-04 09:13:06 +00:00
145e66063b
inc version to 6.0.2
2010-03-01 23:06:25 +00:00
46f0a0644c
fix bad restore of operators (obs from Paulo Moura)
2010-03-01 11:52:42 -06:00
7037b38fa7
make nb_ undefined variable return an error, as SWI does.
2010-02-28 00:57:29 +00:00
0bdea36358
6.0.1
2010-02-27 10:11:32 +00:00
5778730b62
be less enthusiastsis about writing (op).
2010-02-26 14:14:10 +00:00
d7c74d8888
fix missing commit for syntax_erro
2010-02-26 13:30:16 +00:00
038b74493c
more ATOM changes.
2010-02-26 10:59:43 +00:00
dddad72a0e
AtomDouble was not defined correctly.
2010-02-19 14:16:57 +00:00
f5bba7b8f7
fix indexing of dbrefs (obs from Nicola di Mauro).
2010-02-12 15:51:31 +00:00
05c3b22322
fix tabling compilation
2010-02-10 13:16:08 +00:00
95e596a8a1
make LOCAL a register
2010-02-10 09:22:20 +00:00
33190e290d
mingw complaint with recent versions of gcc
2010-02-10 03:03:03 -06:00
f8070bdd59
YAPOR: lock memory allocation under YAPOR/dlmalloc
2010-02-03 22:54:47 +00:00
9d1f0cd361
incremental copying with or-threads.
2010-02-01 20:05:01 +00:00
4d341f2aab
fix bad call to gc (obs from Jose Santos).
2010-01-29 15:21:00 +00:00
139fc6c440
small fixes for CUT_C
2010-01-28 15:42:49 +00:00
f9bf676cb8
disable BP_FREE on 64 bits amd64
2010-01-27 11:00:25 +00:00
bcc4a27206
cut_succeed and cut_fail should recover pool of try_c and should
...
do trim_trail (not that the latter really matters).
2010-01-26 18:03:09 +00:00
5cd85f4eaa
export Yap_IsGroundTerm(t)
2010-01-25 12:28:49 +00:00
ad3bf0b178
pthread_locking is required for CYGWIN and Mac.
2010-01-22 22:30:43 +00:00
3a0179ca9d
fix XOPEN_SOURCE complaint.
2010-01-21 15:05:30 +00:00
2edc06b6a2
fix unifiable for attributed variables (obs from Jiefei Ma).
2010-01-21 09:47:55 +00:00
af32dc1a9c
make cut_c default.
2010-01-15 15:09:18 +00:00
5ef31fbfd2
experiment in or-parallel threads.
2010-01-14 15:58:19 +00:00
e41c7a05c1
fix restoring of LU try chains.
2010-01-12 10:08:38 +00:00
e86a995dd2
fix bad test faster interface to eval (obs from Jose Santos)
2010-01-11 10:35:36 +00:00
a7e6c5672e
try to speed up eval a bit.
2010-01-04 21:16:42 -02:00
6d1eec34db
make atom locking compatible with SWI-Prolog.
2009-12-21 10:12:47 -02:00
79a1d3e13c
fix thread stuff (obs from Jiefei Ma).
2009-12-17 23:55:09 -02:00
df2b11a6ec
define Optype for xxc, for instructions whose constant argument is a term, like functor(a,X,T).
2009-12-06 00:37:48 +00:00
1176f71f3a
support for making sure exceptions are reset when they should be reset (obs from Nuno Fonseca, #159 )
2009-12-03 17:48:25 +00:00
d2da5bfe26
fix setup_call_cleanup and friends.
2009-12-03 02:13:22 +00:00
06d30b9fc9
Jump and Throw need to store the term away, if they try to use arena
...
the term will hang in the stack (#152 ).
2009-12-02 21:59:41 +00:00
506da0b1bf
make write always protect operators when they are not used as operators so as to follow standard ( #150 ).
2009-11-27 16:09:48 +00:00
b16623d026
fix realloc and friends (obs from Nuno Fonseca).
2009-11-27 13:31:03 +00:00
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
2ab3308a56
fix restore of opentries.
2009-11-25 00:38:05 +00:00
25b5464fe8
handle correctly next element after operator property.
2009-11-23 16:02:05 +00:00
b300db2e96
LOW_PROF uses FILE structure, and therefore requires stdio.h
2009-11-23 13:52:13 +00:00
ffe1dfdfff
support for module based operators.
2009-11-20 00:33:14 +00:00
73bba98946
add extra protection against useless shifts.
2009-11-20 00:31:09 +00:00
26e4ce7e27
fix bug in restore operators.
2009-11-20 00:30:36 +00:00
8c1ba9562a
fix bad test in tabling mode.
2009-11-19 08:33:10 +00:00
9cbdf8f57e
tiny cleanups.
2009-11-18 23:36:07 +00:00
7ddaaa1362
Term is Unsigned so you cannot add a negative to it and get away :(
2009-11-18 23:33:09 +00:00
dcf7e282c8
bugs in restoring Heap: stuff repeated twice or at bad locations.
2009-11-18 23:32:31 +00:00
6c887452e6
allow randomization of initial address, this enables testing restore routine.
2009-11-18 23:32:00 +00:00
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
832f3d2e4a
fix missing header for Yap_rational_tree_loop
2009-11-17 02:07:06 +00:00
146718c060
fix bad call to tabling data structures.
2009-11-03 15:06:48 +00:00
7fddfbc189
fix bad tabling restore.
2009-11-02 16:43:24 +00:00
15fc06764a
fix declaration and message_hook/3 (obs from Paulo Moura)
2009-11-02 12:53:51 +00:00
a628079e00
make sure we walk every clause when doing restore mega_clause.
2009-11-02 12:46:39 +00:00
6a8cee8b79
compilation fixes
2009-10-31 00:18:13 +00:00
923094bd01
more updates to HEAPFIELDS.
2009-10-30 23:59:00 +00:00
7116d1385b
move more fields to HEAPFIELDS
2009-10-28 15:53:23 +00:00
838b14cb77
more data structures.
2009-10-28 15:20:46 +00:00
d3f969e1b1
various_codes includes all the head pointers to the code space. Try to
...
centralise everything in a single file (HEAPFIELDS) and generate them
from a Prolog script (buildheap).
2009-10-28 13:11:35 +00:00
d373f23b50
make some sense of the mess that was various_codes *
2009-10-27 10:48:37 +00:00
0179998d60
change Heap.h to YapHeap.h
...
rename $live to prolog/0 (for SWI compatibility).
2009-10-23 14:22:17 +01:00
253444d7ca
support parms.h
...
pass argv[0]
2009-10-23 09:09:16 +01:00
da0186a0aa
fix unused stuff.
2009-10-21 08:35:09 +01:00
0f99e336cc
YAPVERSION
2009-10-21 00:20:18 +01:00
c6e16a608a
fix @ option in format/2
2009-10-21 00:07:31 +01:00
54465b08f1
support ISO extension popcount/1
2009-10-20 10:03:10 +01:00
36e0c6bcf7
support for msb
2009-10-20 09:50:51 +01:00
d18cb214fa
implement epsilon (from ISO)
2009-10-20 09:21:59 +01:00
463348bb2f
fix memory collision in allocatng mmap
2009-10-16 08:09:22 +01: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
f877e78785
make YAP compile with --enable-or-parallelism
2009-08-19 21:53:49 -05:00
84646ee581
make includes compatible with configure.in
2009-08-19 20:22:49 -05:00
23d44f959d
include cp_h field in deterministic choice points, otherwise we get in trouble
2009-08-09 03:38:07 +01:00
1fa608010a
for some reason, tabling codes likes using cp_ap == NULL for SLD complete goals.
2009-07-31 08:31:17 -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
6e3830aa4b
improve error handling in arithmetic comparison (obs from Jose Santos)
2009-07-08 10:32:14 -05: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
c666f74532
support for deterministic tabled calls and answers
2009-07-03 00:54:39 +01:00
c47da032a8
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
2009-06-24 20:06:00 +01:00
eeb62b63b4
support for trie compact lists
2009-06-24 20:04:16 +01: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
8e74daf39e
modern versions of Solaris use these registers for thread support.
2009-06-16 21:21:06 -05:00
9569d04a9f
remove some warnings in the absence of GMP
2009-06-15 10:11:05 -05:00
3ae6f583ec
include AtomInStackExpansion
2009-06-13 16:05:45 -05:00
475e681907
do fetch and remove a the same time: PopFromDB
2009-06-13 13:06:02 -05:00
15519fa3cd
tightenn conditions on JumpExec
2009-06-05 18:45:41 -05:00
4e5fe4186f
fix bad test for bignum condition.
2009-06-05 14:19:02 -05:00
5e4be93491
able to commit 64 bits
2009-06-05 12:18:10 -05:00
7e108201b0
fix memory leak in mod.
2009-06-05 10:55:28 -05:00
5da51d615d
fix crashes in 64-bit mode with unknown predicates.
2009-06-03 15:27:53 -05:00
7f54acb536
separate standard alarm from virtual alarm. timeout uses virtual alarm #112
2009-06-03 10:09:14 -05:00
11214d6ba9
fix atom garbage collector when found a wide atom (rep from Simon Strobl).
2009-06-02 09:51:57 -05:00
dbfccfced5
fix flags from int to Int
2009-06-01 15:37:32 -05:00
d6ed058157
first pass at a decent implementation of PL_error ( #95 )
...
- basically copy SWI code.
2009-05-30 12:52:23 -05:00
488a230169
fix unification core dump.
2009-05-24 15:15:05 -05:00
81970013ed
allow storing a pointer.
2009-05-24 15:14:44 -05:00
f79d79e926
replace TYPE_ERROR_VARIABLE for attributes #57
2009-05-22 21:51:48 -05:00
264d9322b9
fix compiler warning messages.
2009-05-22 21:33:09 -05:00
7304fbda13
fix lack of streams message (Ulrich Neumerkel #60 )
2009-05-22 19:55:18 -05:00
ec595374a6
fix allocation of temporary stack so that unification can work even for
...
very deep terms.
fix occur_unification_bug X = a(f(Y)).
2009-05-22 18:35:24 -05:00
cfbd2f8886
use types in unification algorithm, makes the rest simpler.
2009-05-22 15:21:14 -05:00
Vitor Santos Costa
Vítor Santos Costa
Charlie
Vítor Santos Costa
Ricardo Rocha
U-Khasa\Vitor
Vítor Santos Costa
vsc
U-Xato7\Vsc
Costa Vitor
Vitor Santos Costa
Costa Vitor