Vítor Santos Costa
|
5746edafaf
|
new atoms, terms and slight functionality
|
2015-06-19 00:56:24 +01:00 |
|
Vítor Santos Costa
|
a83ff038f4
|
Mutex stuff movibg to C
|
2014-11-27 10:02:04 +00:00 |
|
Vitor Santos Costa
|
d2984b6548
|
reimplement portray
|
2014-10-23 01:21:22 +01:00 |
|
Vítor Santos Costa
|
a5d0b41f3b
|
fix file filter breakage
|
2014-10-15 01:51:09 +01:00 |
|
Vítor Santos Costa
|
059884bc03
|
Android
|
2014-06-11 19:36:50 +01:00 |
|
Vítor Santos Costa
|
d8f4a77f47
|
fix style_check to be called at parse-time and not cause eexcution overheads.
|
2014-04-24 08:26:31 +01:00 |
|
Vítor Santos Costa
|
f1951777b7
|
fix checker to use read for singleton variables, instead of always computing
them.
|
2014-04-23 21:39:32 +01:00 |
|
Theo
|
b4506cf793
|
CoInductive tabling
|
2013-12-19 16:56:55 +00:00 |
|
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 |
|