Commit Graph

167 Commits

Author SHA1 Message Date
Vitor Santos Costa bdf7088665 docd 2018-05-20 00:47:27 +01:00
Vitor Santos Costa 4c25aa21c5 boot 2018-01-18 14:47:27 +00:00
Vitor Santos Costa e3ade13cfe debug && docs 2017-10-27 13:50:40 +01:00
Vitor Santos Costa 43d3579c57 python 2016-09-30 17:11:13 -05:00
Vitor Santos Costa 915316b712 move some stuff early 2016-07-31 10:38:36 -05:00
Vitor Santos Costa 1aa20e24b7 misc_bugs_when_compiling_problog 2016-04-14 12:00:09 +01:00
Vítor Santos Costa 2192f73b11 make it compile under MSN vc. Unfortunately it has a weird crash at boot :(
- Lots of indenting changes
- VC++ is strict with variadic macros
- VC++ does not accept unistd.h
- new interface for walltime
- VC++ does not seem to have support for integer overflow.
- VC++ defines YENV_REG?
- no access flags, x permissions ignored.
- new FindGMP supporting MPIR
- make horus optional (c++ is hard).
2016-02-28 19:32:55 +00:00
Vítor Santos Costa c25d35356a Try to clarify operators
prolog has priority and cannot be redefined by default.
user is global but may be redefined
others should just plug-in.
2016-02-26 17:18:37 +00:00
Vítor Santos Costa a3a6386353 max op 2015-12-15 09:04:47 +00:00
Vítor Santos Costa 0c461c538b remove unneeded call 2014-10-11 14:10:35 +01:00
Vítor Santos Costa e9cc545f68 big cleanup: cpmpile under style checker.
fix broken module stuff.
2014-10-07 01:35:41 +01:00
Vítor Santos Costa 7f952c8b74 avoid backtracking 2014-09-25 09:42:51 +01:00
Vítor Santos Costa 3009987985 update docs 2014-09-11 14:06:57 -05:00
Vítor Santos Costa 5b19ccf6a8 swig fixes for Android compatibility 2014-06-22 17:35:05 +01:00
Vítor Santos Costa a8c77d2609 fix string_concat/2 2014-04-09 12:39:29 +01:00
Vitor Santos Costa cc84cd8cb5 check for mistypes 2014-04-06 17:05:17 +01:00
Vitor Santos Costa 863b796370 new string_code/3 plus some fixes 2013-12-06 23:24:01 +00:00
Vítor Santos Costa 35f6ecad66 more atom and string 2013-12-06 15:08:35 +00:00
Vitor Santos Costa 2665f71112 keep trying to fix atoms 2013-12-04 23:01:30 +00:00
Vítor Santos Costa 493161f6d8 ciao style arrays, (...) 2013-07-07 16:15:25 -05:00
Vitor Santos Costa 639247b4c3 sub_atom/5 in C. 2013-05-15 17:12:01 -05:00
Vitor Santos Costa 0e9641fe20 sub_string hack 2013-01-31 10:17:48 +00:00
Vítor Santos Costa 3458efd335 saved state fixes. 2012-06-11 09:22:53 +01:00
Vítor Santos Costa 1e2abadd78 patch by UN: op/3 typo in error 2012-03-22 22:12:13 +00:00
Vítor Santos Costa 4d5c70b64b fix operator handling (by UN). 2012-03-22 22:10:23 +00:00
Vítor Santos Costa d5bfd78b64 $length1 was broken. 2012-02-13 09:40:57 +00:00
Vítor Santos Costa 5b0874be32 avoid error handling overhead. 2011-09-15 15:50:41 +01:00
ubu32 e379928239 make cd look for ~ and $HOME expansion. 2011-07-11 07:40:43 -07:00
Vítor Santos Costa 46ab2e7590 file_name_on_path 2011-06-22 12:29:24 +01:00
Vitor Santos Costa a516d6ad47 more SWI stuff. 2011-06-14 09:04:03 +01:00
Vitor Santos Costa c1f74b7682 fix usage of cd/1. 2011-05-12 22:26:10 +01:00
Vítor Santos Costa 36a0023fbf iimprove SWI compat 2011-03-15 23:49:28 +00:00
Vitor Santos Costa 2d07a7730e remove YAP memory (string) streams. 2011-02-12 18:42:44 +00:00
Vitor Santos Costa 3bdece404b cd and getcwd stuff. 2011-02-12 01:24:15 +00:00
Vitor Santos Costa 712300027e include support for working_directory/2 as a system predicate. 2011-02-12 00:26:28 +00:00
Vitor Santos Costa d52d05a626 fix atom_term builtin not to require previous loading of charsio. 2011-01-20 11:51:46 -06:00
Vitor Santos Costa 8161cf64b7 fix overflow in atom_to_term error (UN #206) 2010-12-30 23:00:10 -06:00
Vítor Santos Costa c454690a67 fix save_program to reload foreign files SWI style when restarting. 2010-11-29 18:44:39 +00:00
Vítor Santos Costa 863747da7b fix save/1 and save/2 to at least work now. 2010-11-29 18:08:11 +00:00
Vítor Santos Costa 576d37510c fix ls/0. 2010-11-22 18:22:53 +00:00
Paulo Moura a0201aa53f Added implementation of the SWI-Prolog predicates pwd/0, cd/0, and ls/0 (work in progress). 2010-11-09 16:36:22 +00:00
Vitor Santos Costa 65a66a3360 fix operator problem (|). (Ulrich #193) 2010-10-18 08:36:47 +01:00
Vitor Santos Costa da0aee0f57 fix operator error checking (Ulrich #192) 2010-10-08 10:44:51 +01:00
Vitor Santos Costa bf40154ff1 fix UN #189 and #172 2010-09-27 22:31:06 +01:00
Vitor Santos Costa cf3cb21fd7 subsumes_term/2 (from ISO and UD #173). 2010-08-04 21:46:10 +01:00
Vítor Santos Costa 735f318b77 fix silly cut in autoload 2010-06-18 00:30:11 +01:00
Vítor Santos Costa c7b5cc235e atomic_list_concat/3 (SWI compatibility). 2010-06-17 00:28:03 +01:00
Vítor Santos Costa e67528cc1d oops, forgot to explicitely declare modules. 2010-05-24 16:19:39 +01:00
Vítor Santos Costa eb980421a9 make term_to_atom/2 a YAP builtin. 2010-05-23 18:39:46 +01:00
Vitor Santos Costa 233926ea00 fix nb_getval to handle exceptions. 2010-03-01 22:32:40 +00:00