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

1902 Commits

Author SHA1 Message Date
vsc
e0a80c43c5 debugger should not give any specific meaning to false. 
init must only initialise preds after undef is made.
don't give annoying messages in s or t, just continue


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@467 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-05-10 15:04:03 +00:00
vsc
d2a6f16e4a handle stack overflow within =.. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@466 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-05-07 21:19:52 +00:00
vsc
97f7414cd2 fix debugger typos 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@465 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-05-07 03:51:59 +00:00
vsc
4fc1a2ff42 put tabling back to work 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@460 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-05-03 15:30:36 +00:00
vsc
b46d033b12 make debugger more module aware 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@458 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-04-26 19:29:22 +00:00
vsc
a23bff9b6b fix wrong ! in debugger 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@457 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-04-26 19:15:21 +00:00
vsc
316587c96a make check_term aware of module context. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@443 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-04-13 04:52:38 +00:00
vsc
8202b025ab fix presentation of syntax error. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@442 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-04-13 04:44:20 +00:00
vsc
be3a996d1e WakeAttVar should only test if variables it is binding are in queue 
ugraphs should not bind variable


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@441 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-04-13 04:39:03 +00:00
vsc
13cb0c1e13 syntax_error now throws error; 
fix handling of error if no top-level handler is available


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@440 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-04-11 15:31:58 +00:00
vsc
061670eeb0 bad meta-call causing undetected module overflow. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@436 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-04-09 15:12:14 +00:00
vsc
0e6dd4734e more fixes for debugger and overflow handling in arrays 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@433 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-04-08 03:11:33 +00:00
vsc
3ef0b143b0 fix debugging in the presence of goal_expansion 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@432 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-04-06 05:33:44 +00:00
vsc
8d579bb35d fix previous fix 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@429 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-04-06 00:06:24 +00:00
vsc
aba3854c27 fix ynnecessary choice-point in stream property. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@428 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-04-06 00:03:11 +00:00
vsc
6a28b0a02b portray within debugger may not be debugged. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@423 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-03-28 18:48:55 +00:00
vsc
6f051a5025 fix arrays of generic terms. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@422 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-03-27 20:53:58 +00:00
vsc
a4c275daf2 fix meta-predicate declarations. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@421 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-03-17 15:25:30 +00:00
vsc
521fe00a2d predicate_property(P,source). 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@419 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-03-17 06:05:21 +00:00
vsc
4a33e9066c fix abolish/2. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@418 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-03-14 19:11:42 +00:00
vsc
bd8cb2e836 forgotten to save utils.yap 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@415 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-03-12 16:46:49 +00:00
vsc
de1a4700b6 fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@412 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-03-12 15:10:09 +00:00
vsc
3b9219afe4 fix profiling 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@411 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-03-12 15:09:27 +00:00
vsc
5bde02fccb new file just for profile 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@410 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-03-12 15:08:48 +00:00
vsc
5503ea22f3 try to decrease HeapTop if recovering space on top of Heap; 
change overflow code to be less relying on non-decreasing Heap.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@405 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-03-08 06:33:16 +00:00
vsc
798bdbdf39 be more careful about error handling when storing DB terms 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@399 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-03-07 05:13:21 +00:00
vsc
43cad85ace fix debugging of [-f]. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@398 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-03-04 15:55:13 +00:00
vsc
cc6dc5a28b more debugger fixes: use $leave_creep to avoid creeping all over the place. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@387 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-02-26 22:15:36 +00:00
vsc
92eb12d4b5 fix paraenthesis 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@386 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-02-26 21:21:17 +00:00
vsc
f152092a09 handle unbound meta-calls 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@384 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-02-26 21:03:15 +00:00
vsc
2b8c0a2961 fix module usage in consult 
get rid of singletion warning for on_signal


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@366 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-02-18 15:10:07 +00:00
vsc
a9783b7ec7 fix errors messages in boot.yap 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@365 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-02-18 15:05:16 +00:00
vsc
e9e4421c6d SICStus mode should complian on opening archives 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@364 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-02-15 22:33:12 +00:00
vsc
470f10d51b get rid of some unnecessary choice-points in directives 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@363 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-02-15 22:31:22 +00:00
vsc
87532119c6 fix reconsult at boot. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@362 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-02-14 19:36:12 +00:00
vsc
777817f8db fixes for signal handling 
throw permission error on consulting bad files


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@358 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-02-12 18:24:21 +00:00
vsc
1f5af38ba8 file_search_path 
host_type


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@351 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-02-08 22:19:24 +00:00
vsc
6b29480d4a fix scripts 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@348 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-02-06 17:35:26 +00:00
vsc
293fdf9061 VC++ changes 
use clock in WIN98
fix manual
get rid of ISO X/0


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@347 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-02-04 16:12:54 +00:00
vsc
c5267f786c get rid of debugging message 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@343 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-31 02:04:04 +00:00
vsc
f3c031633b ISO work 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@342 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-30 04:56:43 +00:00
vsc
af7cb4cd93 more fixes for catch and throw 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@340 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-30 02:20:44 +00:00
vsc
d7109e6974 predicate_property should not return properties for undefined predicates. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@339 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-30 01:18:56 +00:00
vsc
be135b514f fix error messages 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@338 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-30 00:28:42 +00:00
vsc
0fa942e238 fix repeated import declarations 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@337 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-30 00:27:20 +00:00
vsc
f255ec7532 yap_flag(gc_trace,very_verbose). 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@333 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-28 04:30:40 +00:00
vsc
fd41875446 yap_flag(argv,L). 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@332 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-27 22:05:35 +00:00
vsc
6e18479ee2 add -f option 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@329 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-27 20:40:10 +00:00
vsc
81d38acbc9 fix use_modules to deal with modules; 
allocation fix for simplesim


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@328 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-26 05:37:32 +00:00
vsc
5e938b92c4 new version of throw using Bart's idea 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@327 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-24 23:55:34 +00:00
vsc
893eff6392 yap_flag(informational_messages,_) 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@324 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-23 14:23:19 +00:00
vsc
fe63bae633 fix new consult code 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@319 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-22 19:29:28 +00:00
vsc
93a41f0ef5 make consult messages more SICStus like. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@318 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-22 17:11:36 +00:00
vsc
3e3aa8f0e5 use $call instead of $execute so that pre-processing may be activated. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@315 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-22 03:16:06 +00:00
vsc
04aae3895d fix alarm in WIN32/cygwin (I hope). 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@314 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-21 20:07:15 +00:00
vsc
71f276e5db debugger: fix bad uses of metacall. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@312 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-19 16:10:53 +00:00
vsc
d413b1906c smaller debugger cleanups 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@311 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-18 16:08:30 +00:00
vsc
d70b5be256 new debugger code would get lost in meta-calls 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@310 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-18 15:55:33 +00:00
vsc
2a156ddf33 debugger improvements 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@309 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-18 04:24:10 +00:00
vsc
366f16f44f fix late catch 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@305 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-17 16:20:36 +00:00
vsc
6e8e59a0b1 fix break 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@304 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-16 22:11:55 +00:00
vsc
6d1015afcf fix missing cut in abolish 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@302 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-16 20:31:00 +00:00
vsc
a203cec0f5 make consult meta-predicates 
configuration changes


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@301 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-16 20:18:28 +00:00
vsc
362455bc74 fix predicate_property to handle modules correctly 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@300 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-16 06:20:56 +00:00
stasinos
b9b8b3d3be change the sig_pending flag into a stack 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@295 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-15 15:53:59 +00:00
stasinos
502e15be8e change the sig_pending flag int a stack 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@294 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-15 15:44:57 +00:00
vsc
4414acbdf9 fix unix environ 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@293 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-14 22:26:53 +00:00
stasinos
6951619ae2 signal handling made more generic 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@290 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-11 15:54:17 +00:00
vsc
6deb31e058 get rid of debugging info 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@288 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-10 23:42:09 +00:00
vsc
e6da9e09b6 use YAPSHAREDIR for Prolog files, not YAPLIBDIR 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@285 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-10 20:55:10 +00:00
vsc
bd28a74d45 fix error handling in debugger (first try). 
add extra argument to handle.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@284 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-10 18:01:14 +00:00
stasinos
7849f7b54e SIG_USR handling seems to be working 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@282 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-09 17:19:36 +00:00
vsc
8496030d8a built-ins should not interfere with trace 
new catch/throw design


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@281 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-08 05:22:40 +00:00
vsc
5997e5a109 new catch and throw mechanism (first try). 
hide built-in predicates that should not be seen in trace mode


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@275 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-07 06:28:04 +00:00
vsc
821af0b738 get rid of silly compilation messages in CLPQR 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@271 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-05 04:37:47 +00:00
vsc
74f1a5310a fix select 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@265 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-03 17:15:50 +00:00
vsc
890556c30d cannot assume that meta-call argument is always a goal 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@256 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-02 23:39:10 +00:00
vsc
3962e559aa style check fixes 
improve error message on redefining system predicate


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@252 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-02 16:55:24 +00:00
vsc
666bb88a7e make phrase/2 and phrase/3 meta-predicates 
improve message in scanner.c


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@251 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-02 07:17:21 +00:00
vsc
e2b3d04a42 fix absolute_file_name/2 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@250 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-02 06:13:40 +00:00
vsc
441ad190ff fix absolute_file_name 
put intermediate data structures for system in TR


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@249 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-02 05:35:20 +00:00
vsc
2b72b6f71b make < debugger option work again 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@248 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-02 03:54:15 +00:00
vsc
4ae64918e0 fix abolish(a:_) (old mode). 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@244 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-12-28 16:42:18 +00:00
vsc
b30535b520 fix debugger not to see the bagof inside setof. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@243 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-12-28 16:11:09 +00:00
vsc
eade3e8e44 fix debugger when tracing over system builtins. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@241 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-12-27 22:38:41 +00:00
vsc
7b77c87b94 store constraints in DB 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@233 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-12-17 18:31:11 +00:00
vsc
0eeeffa379 assert_dynamic would lose module 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@229 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-12-12 20:08:12 +00:00
vsc
482875421f fix abolish 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@227 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-12-11 19:53:07 +00:00
vsc
2e2ddf394b fix ! from deterministic goals cutting across meta-call 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@225 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-12-11 16:40:51 +00:00
vsc
dea18939f4 do not reset system on error 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@224 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-12-11 15:44:52 +00:00
vsc
7b71395f63 fix abolish in sicstus mode 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@223 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-12-11 15:39:28 +00:00
vsc
6fd1a332d1 fix a:[a] to consult a in a. 
make [] predefined and true.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@222 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-12-11 04:35:31 +00:00
vsc
373a5439fa fixes to modules and debugger 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@220 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-12-10 05:37:39 +00:00
vsc
2ea16c2512 fix a(X) :- m:X. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@219 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-12-10 04:56:44 +00:00
vsc
43550a67a8 debugger fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@218 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-12-07 20:27:03 +00:00
vsc
467fbe977d abolishall should succeed if there are no clauses. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@209 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-12-02 16:46:50 +00:00
vsc
45a0bc7aef fix ; -> and ! in meta-call (again) 
fix peek and read


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@207 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-11-29 20:29:52 +00:00
vsc
ac30bcff67 fix previous patch to handle ! in disjunction 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@203 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-11-26 19:34:27 +00:00
vsc
4f274d67a8 fix -> in disjunction in meta-call 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@202 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-11-26 19:22:52 +00:00
vsc
81487aba82 fix [user]. a:a(X). end_of_file. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@193 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-11-23 14:42:06 +00:00
vsc
b5882844b8 fix [a:file] and friends. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@192 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-11-23 13:04:17 +00:00
vsc
8b0b742bd2 fix environ(X,Y). 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@191 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-11-23 12:50:45 +00:00
vsc
338cd94473 ISO compatibility changes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@188 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-11-19 17:56:07 +00:00
vsc
5ab74e898a small fixes for error handling 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@185 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-11-19 03:36:51 +00:00
vsc
a758ef8cc6 small fixes to style checker. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@184 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-11-18 21:21:21 +00:00
vsc
b2934a5aeb fix abolish/1 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@182 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-11-16 20:27:06 +00:00
vsc
c85d9ee978 fix tabling declaration. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@181 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-11-15 19:10:02 +00:00
vsc
f084a042bf fix bugs with wrong number of arguments 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@180 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-11-15 19:01:41 +00:00
vsc
b289d9ac9c new module system. BEWARE! BEWARE! BEWARE! 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@177 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-11-15 00:01:43 +00:00
vsc
a628251951 further optimisations to execute a,b. 
cleanups.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@176 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-10-31 20:16:48 +00:00
vsc
418fb0680a fix locking for YapOr 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@173 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-10-30 22:13:18 +00:00
vsc
2cd48bde1a fix spy and t option :-(. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@171 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-10-30 19:28:20 +00:00
vsc
458a0a857f New metacall mechanism 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@169 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-10-30 16:42:05 +00:00
vsc
8cc0f4e803 fix system_predicate/1 and $system_predicate/1. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@168 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-10-04 16:17:42 +00:00
vsc
4688551043 faster access to predicate code from functor 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@167 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-10-03 13:39:16 +00:00
vsc
c3aa27e76b consult of dynamic predicates was working as reconsult 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@166 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-09-27 14:01:16 +00:00
vsc
16f0e4534e get rid of I/O preds in boot.yap, such as write/1, nl/0, etc. 
move them to yio.yap, where they belong.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@161 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-09-21 17:08:36 +00:00
vsc
8f72bc3c91 fix debugging 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@157 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-09-12 15:52:28 +00:00
vsc
659b141e16 don't complain about predicates with same name in different modules 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@152 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-09-10 14:38:56 +00:00
vsc
8404e8eaff fix SICStus compatibility bugs in sockets 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@145 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-09-03 16:05:59 +00:00
vsc
bef57eb26c fix statistics 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@143 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-08-27 15:04:51 +00:00
vsc
41cc6c0f4e minor changes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@142 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-08-27 14:44:07 +00:00
vsc
5d5ddd864e avoid unnecessary flushing in readline 
fixes to manual
make flush work for readline


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@140 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-08-13 09:19:00 +00:00
vsc
a09e21bf68 do not use use -fomit-frame-pointer in parser.c/cygnus 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@139 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-08-10 23:07:00 +00:00
vsc
6f9edf13a4 do not spy hidden predicates 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@134 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-08-09 14:00:13 +00:00
vsc
8fd1bc92f3 support trace 
fix for ^c in readline


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@133 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-08-08 21:17:27 +00:00
vsc
eade18026c fix fflush 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@125 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-16 15:26:14 +00:00
vsc
3e6060a84f use ~d to write time spent consulting 
replace write/2 and write/1 by direct accesses to low-level routines


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@124 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-12 12:50:58 +00:00
vsc
0995041a7e deheisenberg statistics/0 (that is, statistics/0 should not spend space). 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@123 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-12 12:47:57 +00:00
vsc
6e241c6c8b new statistics. 
better precision when writing floats.
use_module should check file modificiation time.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@118 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-05 20:23:21 +00:00
uid49918
de8cbd046c fix coroutining and goal expansion 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@115 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-04 16:45:42 +00:00
vsc
f22f7434c7 fixes to?\012handle interrupts ^C in Windows. 
Improvements to configure scripts for WIN32 configurations.
--with-readline= option for configure


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@96 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-22 17:53:36 +00:00
vsc
db42697120 bug in abolish 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@83 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-12 16:15:58 +00:00
vsc
12db2be4aa fix '$abolish_all' 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@81 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-11 20:23:57 +00:00
vsc
55aa368d05 support for configure 2.5 
recover memory in catch/throw.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@75 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-11 15:12:07 +00:00
vsc
97d882c1a7 use arrays to implement catch and throw instead of record 
cleanup queues at top-level and at catch-throw.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@69 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-08 19:10:43 +00:00
vsc
68820cc370 sys changes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@60 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-07 17:54:29 +00:00
vsc
38247e38fc cleanup of CLPQR and CHR; 
simplification of module handling;
new timestamp implementation


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@52 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-06 19:10:51 +00:00
vsc
c63a46bf2a assorted changes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@50 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-05-30 17:04:07 +00:00
vsc
769ea0cfcc fix extra backtracking in consult and friends. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@48 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-05-29 17:15:18 +00:00
vsc
82438c1d6f fixes in modules 
system support for WIN32 (first try).
small fixes.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@45 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-05-28 19:54:53 +00:00
vsc
59fdfadfa9 new $stream(T) checks if a term is a stream, 
so that I don't have an excuse to call current_stream(_,_,S) with S
something not a stream.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@39 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-05-22 16:14:30 +00:00
vsc
8dcee4415b library(system) plus several new support builtins 
much improved garbage collector
improvements to compiler
yaptab compiles again


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@34 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-05-21 20:00:05 +00:00
vsc
bac5432950 garbage collecting fixes 
compile trues at the end of body
fix call_residue/2 so that constraints cannot escape (yet again).


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@30 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-05-07 19:56:02 +00:00
vsc
1a8009654f fixes for modules, buffering, YP_*, live vars for gc, and nth(0). 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@20 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-04-27 16:02:43 +00:00
vsc
3a3a0ff465 - Fix extension end marker database bug. 
- Fix statistics/0.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@16 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-04-25 13:27:14 +00:00
vsc
5bd09d8408 if/3 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@15 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-04-24 16:40:11 +00:00
vsc
3f5f0c6d4b Inline arg 
IO fixes


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@12 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-04-20 15:48:04 +00:00
vsc
f80b0b1d32 few extra good built-ins. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@11 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-04-19 17:12:18 +00:00
vsc
71c18ef912 new predicates atom_concat and list_concat 
prolog_flag(version,X).
0'\ escape sequences
first try at profiling early reset (garbage collector is broken now).


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@9 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-04-17 21:07:41 +00:00
vsc
da817ebbe5 First patches for 4.3.19: 
new Makefiles for documentation;
   user_{input,output,error} streams are now aliases;
   restore YapLibDir
   support $(DESTDIR)
   fix call_residue/2


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@8 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-04-16 16:41:04 +00:00
vsc
e5f4633c39 This commit was generated by cvs2svn to compensate for changes in r4, 
which included commits to RCS files with non-trunk default branches.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@5 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-04-09 19:54:03 +00:00