Commit Graph

4361 Commits

Author SHA1 Message Date
Vitor Santos Costa
d593f99c13 fix style check on reconsulting. 2011-01-20 11:50:08 -06:00
Vitor Santos Costa
75703ed89a fix top-level message 2011-01-20 11:49:37 -06:00
Vitor Santos Costa
5c54ff89a1 add subtract/3 to lists. 2011-01-03 21:55:42 -06:00
Vitor Santos Costa
a9587b5e3d restore and agc of recorded terms
overflows in recorded.
2011-01-02 21:16:29 -06:00
Vitor Santos Costa
aa1756c952 undo change until I can wake up goals before cut safely. 2010-12-31 12:01:10 -06:00
vsc
150d54d527 fix jpl 2010-12-31 05:39:22 +00:00
vsc
58b838b8e1 fix bad overflow handling 2010-12-31 05:37:25 +00:00
Vitor Santos Costa
05e15454ee fix typo. 2010-12-30 23:21:31 -06:00
Vitor Santos Costa
088869c5ea make yap return an error on undef preds by default. 2010-12-30 23:21:07 -06:00
Vitor Santos Costa
4e8e81f044 don't ask for solutions if we know there are none left. 2010-12-30 23:20:49 -06:00
Vitor Santos Costa
8161cf64b7 fix overflow in atom_to_term error (UN #206) 2010-12-30 23:00:10 -06:00
Vitor Santos Costa
5367381154 fix 10E1 in ISO mode. 2010-12-30 22:51:52 -06:00
Vitor Santos Costa
5feb6a9dc5 SWI emulation: it is unsafe to keep arguments in regs. 2010-12-30 22:42:30 -06:00
Vitor Santos Costa
7c86b244b9 patches from Keri Harris 2010-12-30 22:14:45 -06:00
Vitor Santos Costa
d64af810da force wakeups before ! 2010-12-29 09:29:42 -06:00
Vitor Santos Costa
eb4e59652f fix getStrem in 2010-12-29 09:29:30 -06:00
Theofrastos Mantadelis
8499f36f0b Fixed the tmp_file/2, added tmpdir/1. 2010-12-20 17:33:23 +01:00
Theofrastos Mantadelis
8d77ee7769 ProbLog: Added fact map export 2010-12-20 12:36:59 +01:00
Vitor Santos Costa
1533d0bbd7 more fixes to PL_get_codes. 2010-12-19 22:06:41 +00:00
Vitor Santos Costa
f4d82b0f58 looks like sound. 2010-12-19 22:01:37 +00:00
Roberto Bagnara
02fbaf958a Fixed a few issues in the glue code for SWI-Prolog compatibility. 2010-12-19 21:59:38 +00:00
Vitor Santos Costa
95281f78ee fix leap over meta-predicates. 2010-12-19 21:57:40 +00:00
Vitor Santos Costa
168a6366f8 enable obtaining current stream_position from SWI.y 2010-12-19 21:32:13 +00:00
Roberto Bagnara
cb7c2e0ca8 Fixed PL_is_integer() and PL_is_number() so as to take bignums into account. 2010-12-19 19:39:12 +00:00
Vítor Santos Costa
ae89fa5728 make SWIgetc check for EOF and \n 2010-12-19 14:10:25 +00:00
Vítor Santos Costa
cede94f6d2 creeping should not prevent wake ups. 2010-12-19 13:52:42 +00:00
Vítor Santos Costa
4b2156446a ifix writeln in SWI mode 2010-12-17 20:26:45 +00:00
Theofrastos Mantadelis
b5d486279a fix a trie backward traverse bug 2010-12-17 12:29:56 +01:00
Theofrastos Mantadelis
90041919d4 fixed problogbdd compilation warnings 2010-12-17 12:23:03 +01:00
Vitor Santos Costa
0c7f207627 make format/n swi aware. 2010-12-17 00:11:05 +00:00
Vítor Santos Costa
cfe0dda995 more bigint and dbterm fixes. 2010-12-16 22:21:46 +00:00
Vítor Santos Costa
5a2d908489 fix restore of instructions that manipulate bigints or db terms. 2010-12-16 20:39:53 +00:00
Theofrastos Mantadelis
a442d888de Newest ProbLog version 2010-12-16 14:30:50 +01:00
Vitor Santos Costa
9a45897308 fix _longjmp 2010-12-16 01:31:19 +00:00
Vitor Santos Costa
7ad5bc0214 include amasm.c 2010-12-16 01:30:05 +00:00
Vitor Santos Costa
6e2947e8c4 avoid _longjmp 2010-12-16 01:22:10 +00:00
Vítor Santos Costa
4546a22101 SWI seems to use t=0 for user_input/output. Not very clear why... 2010-12-15 20:03:22 +00:00
Vítor Santos Costa
d1665c7462 improve checking for _setjmp, I hope. 2010-12-15 12:47:21 +00:00
Vítor Santos Costa
1ca5c92469 fix goal expansion for with_output_to in SWI mode (obs from Roberto Bagnara). 2010-12-15 12:08:26 +00:00
Vitor Santos Costa
bd6da9dd40 fix reconsult of multifile predicates (static). 2010-12-15 00:06:14 +00:00
Vitor Santos Costa
68539ab1e0 make sure with_output_to argument is not rewritten. 2010-12-14 23:46:17 +00:00
Vítor Santos Costa
828f8b07f7 make YAP more compatible with SWI by going inside 0 arguments (obs from Roberto). 2010-12-14 12:39:24 +00:00
Vítor Santos Costa
57aafe5d23 don't use with_output_to/2 from PLStream: it gets confused by whose stdout it should write to. 2010-12-14 12:04:44 +00:00
Vítor Santos Costa
628ae12d15 ifix warning message. 2010-12-14 12:04:33 +00:00
Vítor Santos Costa
eb82f5fa2a more fixes to recursive call execution and backtracking from within C-mode.
semweb java example now working.
2010-12-14 09:30:40 +00:00
Vítor Santos Costa
666ef1877d itry to respect SWI semantics on expand_goal/2. 2010-12-13 22:03:54 +00:00
Vítor Santos Costa
eec588f488 distribute goal_Expansion over comma 2010-12-13 21:33:43 +00:00
Vítor Santos Costa
f89f7e8e98 PL_set_engine should always return a sensible answer, even if multi-threading is not on. 2010-12-13 21:07:35 +00:00
Vítor Santos Costa
3933ee4053 fix slot initialization problem. 2010-12-13 20:39:12 +00:00
Vítor Santos Costa
9f8f8ee73e fix missing cut (obs from Bernd). 2010-12-13 19:35:16 +00:00