diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
3,120 Commits 2 Branches 6 Tags 146 MiB
1c52d17a4d
Commit Graph

3120 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Vitor Santos Costa
1c52d17a4d get_bom should consider the case the file is empty. 2009-11-17 02:37:29 +00:00
Vitor Santos Costa
7b85efff0c subsumes should check for loops (Ulrich's #146). 2009-11-17 02:08:01 +00:00
Vitor Santos Costa
b7646836b6 remove some weird white spaces. 2009-11-17 02:07:48 +00:00
Vitor Santos Costa
832f3d2e4a fix missing header for Yap_rational_tree_loop 2009-11-17 02:07:06 +00:00
Vitor Santos Costa
f7214090cb make operators defined within a module local to the module, operators in header are still global to every module, though (UN #131). 2009-11-17 00:59:06 +00:00
Vitor Santos Costa
ce5ae8b972 another oops :( 2009-11-17 00:48:16 +00:00
Vitor Santos Costa
84022de89d disable creep when top-level starts: this prevents creeping after a top-level. 2009-11-17 00:32:38 +00:00
Vitor Santos Costa
b56894e0d5 indenting. 2009-11-17 00:32:27 +00:00
Vitor Santos Costa
c51c17aa52 make sure to get valid terms in meta_call, not references. 2009-11-17 00:23:34 +00:00
Vitor Santos Costa
73cdfe0f5b oops in previous change :( 2009-11-17 00:23:22 +00:00
Vitor Santos Costa
59935893ac fix bad syntax (obs from Ulrich Neumerkel #137, after #138) 2009-11-17 00:13:54 +00:00
Vitor Santos Costa
3f30a2bf18 expand meta-predicates before trying to debug them. 2009-11-17 00:09:23 +00:00
Vítor Manuel de Morais Santos Costa
0d23db6b6d fix use of rm * when we have lots of examples. 2009-11-11 12:36:54 +00:00
Vítor Manuel de Morais Santos Costa
a3ac75edcc fix bad usage of configure (obs from Jose Santos). 2009-11-11 12:34:58 +00:00
Vítor Manuel de Morais Santos Costa
7058b6b35f minisat swi interface package. 2009-11-11 10:56:37 +00:00
Vítor Manuel de Morais Santos Costa
eac1cc5b9d fix C++ complaint. 2009-11-11 10:56:19 +00:00
Vítor Manuel de Morais Santos Costa
4b3411e878 support for minisat interface 
fixes for newer versions of autoconf.
 2009-11-11 10:55:36 +00:00
Vítor Manuel de Morais Santos Costa
99b2347cd8 SWI supports xor operator. 2009-11-11 10:54:38 +00:00
Vítor Manuel de Morais Santos Costa
51f6f509e1 hack to make ProbLog run faster on very large domains. 2009-11-11 10:54:05 +00:00
Vítor Manuel de Morais Santos Costa
8ecac6c2f9 sebuf on stdin was called if any std stream was a tty. Bad. (obs from Ashwin Srinivasan). 2009-11-10 11:25:56 +00:00
Vítor Manuel de Morais Santos Costa
b5ad71c9c1 improve functor tracing 2009-11-10 11:25:39 +00:00
Vítor Manuel de Morais Santos Costa
3b7e5544f6 m:subgoal should compile subgoal with m as default module (obs from Nuno Fonseca). 2009-11-04 12:29:31 +00:00
Vítor Manuel de Morais Santos Costa
0e1fae17d9 make sure action is deterministic on key input. 2009-11-04 12:29:09 +00:00
Vítor Manuel de Morais Santos Costa
8f46f3d71d fix bad passing of ! destination if we were running at an exec: affected debugger. 2009-11-04 12:17:17 +00:00
Vitor Santos Costa
6870ba039d awk systime() is not standard; hope to have better luck with date +%s 2009-11-04 09:04:13 +00:00
Vitor Santos Costa
717d6ac4c8 handle meta-calls to unbound variables. 
first step to improve exceptions.
 2009-11-04 00:10:27 +00:00
Vítor Manuel de Morais Santos Costa
2fdf8e9bda fix bad ! register when calling continuation of meta-predicate (obs from A Kimmig). 2009-11-03 23:17:06 +00:00
Vítor Manuel de Morais Santos Costa
69d34fb0ce fix over zealous cleaning of attributed variables in heapgc.c 2009-11-03 15:07:48 +00:00
Vítor Manuel de Morais Santos Costa
146718c060 fix bad call to tabling data structures. 2009-11-03 15:06:48 +00:00
Vítor Manuel de Morais Santos Costa
995b82cc6e Nuno Fonseca's trie writing updates. 2009-11-03 14:37:12 +00:00
Vítor Manuel de Morais Santos Costa
7fddfbc189 fix bad tabling restore. 2009-11-02 16:43:24 +00:00
Vitor Santos Costa
15fc06764a fix declaration and message_hook/3 (obs from Paulo Moura) 2009-11-02 12:53:51 +00:00
Vitor Santos Costa
a628079e00 make sure we walk every clause when doing restore mega_clause. 2009-11-02 12:46:39 +00:00
Vitor Santos Costa
021141188f fix missing $live 2009-11-02 12:46:28 +00:00
Vítor Manuel de Morais Santos Costa
6a8cee8b79 compilation fixes 2009-10-31 00:18:13 +00:00
Vitor Santos Costa
bda231f24d Use "Foreign.h" 2009-10-31 00:02:17 +00:00
Vitor Santos Costa
923094bd01 more updates to HEAPFIELDS. 2009-10-30 23:59:00 +00:00
Vitor Santos Costa
7116d1385b move more fields to HEAPFIELDS 2009-10-28 15:53:23 +00:00
Vitor Santos Costa
838b14cb77 more data structures. 2009-10-28 15:20:46 +00:00
Vitor Santos Costa
d3f969e1b1 various_codes includes all the head pointers to the code space. Try to 
centralise everything in a single file (HEAPFIELDS) and generate them
from a Prolog script (buildheap).
 2009-10-28 13:11:35 +00:00
Vitor Santos Costa
d373f23b50 make some sense of the mess that was various_codes * 2009-10-27 10:48:37 +00:00
Vitor Santos Costa
36a7e5c59e fix error handling in syntax_error (don't assume ARG2 has the output). 2009-10-26 22:56:18 +00:00
Vitor Santos Costa
4c8eb33e06 we had args already (no need for argv0) 
improve error handling in YAP_ReadBuffer
 2009-10-26 10:42:19 +00:00
Vitor Santos Costa
96da71b514 fix console.c to also add / (obs from Paulo Moura). 2009-10-23 23:54:24 +01:00
Vitor Santos Costa
9303efd6d6 fix singleton warning. 2009-10-23 23:54:00 +01:00
Vitor Santos Costa
78d2960d16 bad doc on nth/4 (obs from Daniel Diaz) 2009-10-23 23:21:42 +01:00
Vitor Santos Costa
981d060ffb fix nth/4 going backwards (obs from Daniel Diaz). 2009-10-23 23:19:55 +01:00
Vitor Santos Costa
0ea348c26d extend SWI interface with PL_toplevel and to handle C++ code. 
prolog/0 built-in
fixes to parms.h changes.
 2009-10-23 16:50:43 +01: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
253444d7ca support parms.h 
pass argv[0]
 2009-10-23 09:09:16 +01:00