Vítor Santos Costa
61d624e416
fix comment handling
2013-12-08 22:56:48 +00:00
Vítor Santos Costa
adea3bdb24
more string fixes and get_code
2013-12-08 19:12:24 +00:00
Vítor Santos Costa
d7397b43af
new text conversion and string code (big changes, take care please)
2013-12-02 14:49:41 +00:00
Vítor Santos Costa
f1f64bf25c
printwarning
2013-11-21 00:22:03 +00:00
Vítor Santos Costa
917d5ad75b
line numbers for clauses and clause properties
2013-11-05 17:59:19 +00:00
Vitor Santos Costa
2cfa0081ad
make syntax extensions SWI compatible
2013-09-13 11:44:26 +01:00
Vítor Santos Costa
493161f6d8
ciao style arrays, (...)
2013-07-07 16:15:25 -05:00
Vitor Santos Costa
ec5f7ebb28
Chaange semantics for min and max
2013-06-25 22:53:23 -05:00
Vitor Santos Costa
64a61e2479
make between/3 a C-builtin.
2013-04-29 18:22:53 -05:00
Vitor Santos Costa
72cc5bc317
generalise interval handling
2013-04-29 11:58:05 -05:00
Vitor Santos Costa
90abff4f2f
Exo compilation, the range example.
2013-04-16 20:04:53 -05:00
Vitor Santos Costa
be5208f281
fix search for free variables in bagof.
2013-01-14 22:46:06 +00:00
Vitor Santos Costa
f83379648c
fix use of exo preds.
2013-01-11 16:45:14 +00:00
Vitor Santos Costa
556937195d
avoid meta-call in system; improve goal/pred expansion
2012-12-07 08:08:32 +00:00
Vítor Santos Costa
f74164c642
correct support for goal expansion (bug report from Paulo Moura)
2012-11-07 13:49:54 +00:00
Vitor Santos Costa
8126381e8d
range and fix locals.
2012-10-23 14:55:44 +01:00
Vítor Santos Costa
d5bf100b71
make full init even before entering Prolog top-level
2012-09-21 11:49:59 +01:00
Vítor Santos Costa
0c1eb1d642
fix write_canonical of $VAR(_).
2012-03-15 22:19:48 +00:00
Vítor Santos Costa
665d426e13
fix writing streams by write.c
2012-02-27 08:53:18 +00:00
Vítor Santos Costa
1ddd61314c
support for X^[A,B] and X^length in arithmetic expressions.
2011-10-27 12:36:48 +02:00
Vítor Santos Costa
de0f8a8236
dbload
2011-04-30 01:16:40 +01:00
Vitor Santos Costa
417fb5c52c
includ e6.2 changes for globals.
2011-04-04 13:20:35 +01:00
Vítor Santos Costa
e05b84ce4e
fix to thread support.
2011-03-11 19:49:32 +00:00
ubu32
140318ff16
read works now.
2011-02-14 23:39:27 -08:00
Vítor Santos Costa
2dad416011
Merge branch 'master' of ../yap-6.2
2010-12-15 20:04:13 +00:00
Vitor Santos Costa
bd6da9dd40
fix reconsult of multifile predicates (static).
2010-12-15 00:06:14 +00:00
Vítor Santos Costa
30b0160b0d
Merge branch 'master' of ../yap-6.2
2010-12-07 15:08:25 +00:00
Vítor Santos Costa
21bbffceda
make sure we rebuild saved state stuff even if we do not actually enter top-level.
...
fix bug with some definitions being reset at load time.
2010-12-07 15:06:53 +00:00
Vítor Santos Costa
e509d11c2e
routines to copy rational terms to tree and vice-versa.
2010-11-01 20:11:28 +00:00
Vitor Santos Costa
9396252588
patches to provide initial support UTF32 encodings(from Paulo Moura)
2010-10-27 14:49:27 +01:00
Vítor Santos Costa
0c09447d00
fix broken tab
2010-09-30 20:53:07 +01:00
Vítor Santos Costa
c081d01e78
implement access_file/2 in C
2010-08-03 21:04:16 +01:00
Vitor Santos Costa
6ebc31f2d8
codes/2 functor (used by format).
2010-07-19 14:48:42 +01:00
Vítor Santos Costa
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
Vitor Santos Costa
31554991c8
better emulation of SWI atom_t and functor_t.
2010-05-03 14:26:56 +01:00
Vitor Santos Costa
64528946d9
fix bad name for atom.
2010-04-28 00:32:37 +01:00
Vítor Santos Costa II
3272d5d230
inform about new module for system library
2010-04-22 12:11:15 +01:00
Ricardo Rocha
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
Vitor Santos Costa
2908d4ccbd
fix: size of quue went down.
2010-03-12 22:40:17 +00:00
Vitor Santos Costa
d7c74d8888
fix missing commit for syntax_erro
2010-02-26 13:30:16 +00:00
Vitor Santos Costa
038b74493c
more ATOM changes.
2010-02-26 10:59:43 +00:00
Vítor Santos Costa
dddad72a0e
AtomDouble was not defined correctly.
2010-02-19 14:16:57 +00:00
Vitor Santos Costa
f5bba7b8f7
fix indexing of dbrefs (obs from Nicola di Mauro).
2010-02-12 15:51:31 +00:00
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
Vitor Santos Costa
021141188f
fix missing $live
2009-11-02 12:46:28 +00:00
Vitor Santos Costa
0179998d60
change Heap.h to YapHeap.h
...
rename $live to prolog/0 (for SWI compatibility).
2009-10-23 14:22:17 +01:00
Vitor Santos Costa
c6e16a608a
fix @ option in format/2
2009-10-21 00:07:31 +01:00
Vitor Santos Costa
3ae6f583ec
include AtomInStackExpansion
2009-06-13 16:05:45 -05:00
Costa Vitor
c45903301e
add missing new atoms.
2009-06-08 20:25:47 -05:00
Costa Vitor
7f54acb536
separate standard alarm from virtual alarm. timeout uses virtual alarm #112
2009-06-03 10:09:14 -05:00