Commit Graph

63 Commits

Author SHA1 Message Date
Vítor Santos Costa
1d66c45fc2 more fixes to absolute_file_names and a new option, glob/1. 2015-11-09 11:27:46 +00:00
Vitor Santos Costa
2b5bddb690 module for charsio 2015-10-20 07:52:33 +01:00
Vítor Santos Costa
4336b2ba88 Avoid complaining from strlen
`
2015-09-21 17:05:36 -05:00
Vítor Santos Costa
4ccb8cf210 more atom as terms stuff 2015-08-18 14:50:27 -05:00
Vítor Santos Costa
b164f53191 fix regression tests 2015-08-07 16:57:53 -05:00
Vítor Santos Costa
6d507ff49f BEW CONSTANTS. 2015-07-22 19:19:35 -05:00
Vítor Santos Costa
705a6e9b7f cleanups 2015-07-06 12:01:55 +01:00
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
Vítor Santos Costa
8576e67d84 generate exceptions on arithmetic errors 2014-10-15 11:06:07 +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
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
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
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
Vítor Santos Costa II
3272d5d230 inform about new module for system library 2010-04-22 12:11:15 +01:00
Vitor Santos Costa
2a7765ae5c make clear that some files are generated automatically. 2010-04-18 21:48:20 +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
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 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
3ae6f583ec include AtomInStackExpansion 2009-06-13 16:05:45 -05:00
Costa Vitor
15519fa3cd tightenn conditions on JumpExec 2009-06-05 18:45:41 -05:00