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

1245 Commits

Author SHA1 Message Date
vsc
5143aebb01 try to reduce overheads when running with goal expansion enabled. 
CLPBN fixes
Handle overflows when allocating big clauses properly.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1193 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-12-05 05:01:45 +00:00
vsc
36878b9a2b oops... 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1184 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-11-22 16:31:33 +00:00
vsc
6c7b891ec8 previous fixes would not work for ! (eg, call((!,X=2;X=3))). 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1183 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-11-22 16:22:14 +00:00
vsc
1c681ebd9b undo silly change to meta-calls 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1182 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-11-22 06:14:48 +00:00
vsc
fda0b76f18 fix meta-call on system predicates bug 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1181 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-11-22 05:48:43 +00:00
vsc
7d245377a3 change abort so that it won't be caught by handlers. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1179 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-11-19 21:32:53 +00:00
vsc
11ba3273da more bug fixes for CLP(BN) 
Allow debugging of system procedures if written in Prolog.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1174 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-11-16 16:38:09 +00:00
vsc
6edf6f1dd3 fix DCGs to be closer to standard. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1173 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-11-05 03:03:54 +00:00
vsc
6853d8eecd don't ever use memory that has been freed (that was done by LU). 
generic fixes for WIN32 libraries


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1172 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-11-04 18:22:36 +00:00
vsc
91d385147e ensure_loaded would never again reconsult a file, even if the file 
had been changed meanwhile.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1170 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-11-01 15:54:01 +00:00
vsc
f267e74737 bug fixes on memory overflows and on clauses :- fail being ignored by clause. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1167 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-10-27 15:56:34 +00:00
vsc
8e92ce869f bug fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1163 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-10-22 16:53:20 +00:00
vsc
90db51f867 fixes for better signal handling 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1159 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-10-08 17:20:03 +00:00
vsc
ac2a3b01af change configure to support big mem configs 
get rid of extra globals
fix trouble with multifile preds


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1155 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-10-06 16:55:48 +00:00
vsc
62354231b0 fixes for thread support 
fix indexing bug (serious)


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1154 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-10-04 18:56:20 +00:00
vsc
8eb1d2f7b9 fix overflow from within clause/2 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1149 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-09-30 19:51:54 +00:00
vsc
2e2df1a64f IsUnboundVar should check addresses 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1144 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-09-18 14:03:42 +00:00
vsc
2144835fe5 get rid of debugging info 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1143 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-09-18 02:19:09 +00:00
vsc
0de365678a simplify frozen/2 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1140 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-09-17 19:34:53 +00:00
vsc
7e9c32fd52 fix numbervars to number atts 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1136 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-09-13 21:20:01 +00:00
vsc
8402df6bb2 more constraint simplifications 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1135 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-09-13 21:19:14 +00:00
vsc
e47679aa01 don't allow defining as dynamic a predicate which already has clauses. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1133 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-09-10 21:04:46 +00:00
vsc
27a98ecdde add attvar/1 to system. 
sort before printing attributed variables to get rid of duplicates.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1132 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-09-10 20:18:01 +00:00
vsc
6a4d9ef41a fix correctly the bug in coroutining: Yap should join the two goals. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1129 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-09-08 18:09:26 +00:00
vsc
a9d6944b17 freeze was not ready for the case when a variable was woken but not bound. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1127 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-09-07 21:08:30 +00:00
vsc
1781ff9420 whole lot of fixes: 
- memory leak in indexing
  - memory management in WIN32 now supports holes
  - extend Yap interface, more support for SWI-Interface
  - new predicate mktime in system
  - buffer console I/O in WIN32


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1113 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-08-11 16:14:55 +00:00
vsc
21a3377248 debugger fixes 
initial support for JPL
bad calls to garbage collector and gc
debugger fixes


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1096 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-07-22 21:32:23 +00:00
vsc
08b9f55f9c start support for java interface 
bug fixes


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1093 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-07-15 15:47:08 +00:00
vsc
242083e980 Another debugger debugging fix 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1087 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-07-01 18:56:23 +00:00
vsc
cff95648c3 fix checker messages 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1086 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-06-29 19:12:01 +00:00
vsc
f6503f0100 fix multithreaded version 
include new version of Ricardo's profiler
new predicat atomic_concat
allow multithreaded-debugging
small fixes


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1085 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-06-29 19:04:46 +00:00
vsc
a7f550d667 New comment-based message style 
Fix thread support (at least don't deadlock with oneself)
small fixes for coroutining predicates
force Yap to recover space in arrays of dbrefs
use private predicates in debugger.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1084 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-06-23 17:24:20 +00:00
vsc
0b40851d2d fix extraneous line in yes/no messages 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1082 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-06-18 15:41:19 +00:00
vsc
1e50d32aed fix bug in coroutining support 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1078 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-06-16 14:09:34 +00:00
vsc
4b11ed9401 fix bugs 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1073 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-06-09 03:32:03 +00:00
vsc
0101c09236 coroutining is now a part of attvars. 
some more fixes.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1070 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-06-05 03:37:01 +00:00
vsc
a6f1b27c09 misc fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1068 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-05-17 21:42:12 +00:00
vsc
9d12384db1 debugger fixes 
make sure we always go back to current module, even during initizlization.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1062 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-05-13 20:54:58 +00:00
vsc
94714907ec fix previous fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1061 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-05-01 04:38:29 +00:00
vsc
f27f330d38 stupid bug 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1053 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-04-27 16:21:25 +00:00
vsc
40d678bf38 use print_message for version 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1052 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-04-27 15:43:29 +00:00
vsc
40e84ca034 fix halt/0 and halt/1 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1051 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-04-27 15:14:38 +00:00
vsc
e6cab52dc2 more fixes for expand_clauses 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1050 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-04-27 15:03:43 +00:00
vsc
cfcbc82aa4 speedups for all/3 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1049 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-04-27 15:03:06 +00:00
vsc
38b965d2fa more fixes for all/3 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1046 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-04-22 20:06:24 +00:00
vsc
e0e00d58e7 first set of fixes for all/3 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1044 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-04-22 03:23:12 +00:00
vsc
27f85f3355 fixes for corourining 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1042 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-04-20 22:08:57 +00:00
vsc
4242efb73f trim_trail for default machine 
be more aggressive about try-retry-trust chains.
   - handle cases where block starts with a wait
   - don't use _killed instructions, just let the thing rot by itself.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1027 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-03-19 11:35:42 +00:00
vsc
0092e6fd45 support yap_flag(system_options,... 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1016 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-03-04 18:33:34 +00:00
vsc
8a0fa13746 keep a separate file for statistics. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1013 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-03-02 16:46:07 +00:00
vsc
ddc7b3a0bc a few more fixes to support timing and to improve message queues. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1012 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-03-02 16:44:58 +00:00
vsc
6027963867 more thread updates. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1001 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-21 20:25:45 +00:00
vsc
026bfb3c18 more thread fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@997 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-19 19:24:46 +00:00
vsc
039655b767 simplify format, so that it will be easier to do bug fixes 
fix bug in format output for floats
write and read dbrefs as $dbref(Address,0)


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@986 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-13 18:39:29 +00:00
vsc
4402a10f44 fix module redefinition handling 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@985 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-13 13:31:44 +00:00
vsc
e0c42788c7 fix bad calls to consult/reconsult 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@983 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-12 18:23:29 +00:00
vsc
6662ca157e simplify module access 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@981 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-12 12:37:12 +00:00
vsc
eec29d7c27 fix thread_signal 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@978 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-11 13:59:53 +00:00
vsc
c9247ce308 make thread_local compatible with dynamic 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@977 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-11 13:33:19 +00:00
vsc
acbf57f59d improve threads support 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@976 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-11 01:20:56 +00:00
vsc
31b6bedf67 modules stuff fixes (yes, again). 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@975 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-10 01:07:46 +00:00
vsc
cfd3683891 fix integer as DBRef 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@971 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-09 14:19:05 +00:00
vsc
a5b6a22f27 AuxSp and friends are not bound to GlobalBase when using SYSTEM_MALLOC 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@968 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-06 16:40:50 +00:00
vsc
9b84cdfe5d improved support for threads and code area allocation using malloc 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@965 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-05 16:57:02 +00:00
vsc
cacc407677 Bug fixes! 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@964 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-01-29 13:37:10 +00:00
vsc
ba9876268f threads, clean signals, and much more... 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@957 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-01-23 02:23:51 +00:00
vsc
80fd1bcc91 many fixes: restart on threads, fixes for tabling, other generic fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@954 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-12-27 00:38:53 +00:00
vsc
221665bab8 support for tabling 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@951 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-12-18 16:38:40 +00:00
vsc
4c264a968a new scheme for flags. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@949 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-12-04 18:13:04 +00:00
vsc
945adacdd5 fix call to $reconsult/2 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@948 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-12-04 18:12:26 +00:00
vsc
1516c032e9 keep key_statistics/3 for compatibility with previous version. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@947 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-12-04 18:11:53 +00:00
vsc
8dc293eba4 more fixes for nth_clause 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@942 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-12-02 00:36:27 +00:00
vsc
fd1bc58cde slowly restore nth_clause 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@941 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-12-01 19:22:01 +00:00
vsc
678ff0df82 many fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@940 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-12-01 17:27:42 +00:00
vsc
d6207a55f9 fix ensure_loaded to reload if called from a different module. 
fix error handling in dbase.c


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@939 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-11-29 23:41:28 +00:00
vsc
01703de3a0 fix lost indices in reconsult 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@937 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-11-27 21:47:44 +00:00
vsc
90829edc9e new infrastructure for static clauses: 
they are now valid references
  they don't have the try_me block
jump_on_var now uses expand


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@936 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-11-26 18:36:35 +00:00
vsc
f5edbc8aa7 compact source mode. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@934 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-11-21 16:56:20 +00:00
vsc
8d3f30de9c typo 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@933 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-11-20 00:28:08 +00:00
vsc
9851882dc7 new version of sub_atom 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@931 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-11-18 19:23:10 +00:00
vsc
e372271695 new version of sub_atom 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@928 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-11-18 19:08:38 +00:00
vsc
1ada44ab8e stabilisation patches for Yap-4.5.2 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@922 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-11-12 12:33:31 +00:00
vsc
4f97e338ab fix count flag for indices 
fix memory expansion with holes.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@911 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-30 11:31:05 +00:00
vsc
5e4816eb5a new heap allocation code 
new atom table growth code and hash algorithm
more fixes for new indexing algorithm


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@905 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-28 01:16:03 +00:00
vsc
5244795d97 Pat's patches to top_level_hook 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@904 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-22 14:08:29 +00:00
vsc
526ec2e50f call the garbage collector the right way 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@902 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-17 02:11:21 +00:00
vsc
514ef300e3 clause should allow access through a reference. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@897 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-14 20:32:08 +00:00
vsc
507d4a9951 More improvements on indexing code 
fix on growheap continuing to cut_e


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@880 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-02 12:59:05 +00:00
vsc
0170202a86 fix a leftover $record 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@879 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-09-26 14:58:29 +00:00
vsc
f5931c5c0e wake up before cut_e. Still to do: wakeup before cut_t and cut. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@878 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-09-26 14:30:59 +00:00
vsc
98578b16dc more fixes for indexing code 
stable stuff


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@867 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-09-15 01:25:29 +00:00
vsc
17ecf0dc14 continue big commit 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@863 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-08-27 13:37:10 +00:00
vsc
b936201465 improvements to indexing: allow user control and fix bugs in sorting 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@836 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-06-06 11:54:02 +00:00
vsc
0eb0f6c3d0 ^ was calling action with wrong number of arguments 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@833 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-05-23 15:38:40 +00:00
vsc
bd383b7e3f more fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@827 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-05-19 13:04:09 +00:00
vsc
52b61e45ed fix meta-call handliong of : declarations 
get rid of execute_within, we've got enough confusion around already.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@825 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-05-02 14:37:11 +00:00
vsc
d290885f8f new indexing algorithm 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@822 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-04-30 17:46:05 +00:00
vsc
5ab43f8afc fix the way undefined errors are processed if we have stack info. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@801 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-03-20 14:22:08 +00:00
vsc
51ea20683f fix setof to use catch instead of trying to do its own thing; 
fix unnecessary white lines when outputting solutions.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@788 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-02-24 11:01:01 +00:00
vsc
540d9639cb fix bad change in utils.yap 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@787 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-02-21 19:27:40 +00:00
vsc
773f2fb56e setof should cleanup in case of throw. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@786 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-02-21 19:18:12 +00:00
vsc
42ed54c331 fix debugging of log update predicates. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@785 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-02-19 16:54:34 +00:00
vsc
8334aa1f5e protect live against people who hide system predicates away. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@784 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-02-19 16:43:24 +00:00
vsc
9cde858f11 make sure that even if we optimise builtins in a predicate, source 
code will still see the original.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@772 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-02-13 12:41:35 +00:00
vsc
b37ee94fe9 you may have code and dbrefs at the same time. 
try to expand trail in single sweep


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@769 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-02-12 13:20:52 +00:00
vsc
96a8d96054 get rid of nasty choicepoint in eraseall. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@766 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-02-12 13:18:01 +00:00
vsc
bcc49fc778 fix debugging of logical update predicates. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@764 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-02-12 13:17:00 +00:00
vsc
9a032b656a fix previous module processing fixes 
check if predicate is not in use before abolish static


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@763 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-02-11 16:33:24 +00:00
vsc
f59cc22c5d module processing should also send the sources back. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@762 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-02-10 18:23:42 +00:00
vsc
6bb873d03e more meta-call fixes 
fix module expansion for builtins
fix path predicates.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@758 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-02-07 12:05:39 +00:00
vsc
533365611c fix meta_calls with modules inside comma 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@753 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-01-30 18:00:26 +00:00
vsc
f5dad3ac1f don't try to do module expansion if module borders are not crossed. 
expand on-line depth_call and once.
improve write_x_loc


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@752 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-01-30 16:27:45 +00:00
vsc
1369dfa410 new meta-call scheme. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@751 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-01-29 14:47:17 +00:00
vsc
8a72ec94b9 make sure to initialise u.Code in dbase.c 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@745 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-01-21 23:27:02 +00:00
vsc
3d5b22a732 recorda_at and recorded_at 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@744 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-01-21 16:14:52 +00:00
vsc
66650c39cb fix for multifile/1 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@742 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-01-20 15:12:45 +00:00
vsc
f46ffa6f17 Fix bad handling for error(x,y) or error(X,Y) (report from Paulo Moura). 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@739 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-01-10 11:52:33 +00:00
vsc
136af18cb0 new scanner. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@736 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-01-08 16:45:35 +00:00
vsc
e2edae71c7 cleanup: typecast to yamop * instead of CODEADDR wherever possible. 
Fix integer(233333833838383) fails bug (Roberto Bagnara).


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@733 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-12-27 16:53:09 +00:00
vsc
8b867ea4de new builtins: nth_clause, nth_instance. 
allow clause/3 on static predicates.
predicate_property(P,number_of_clauses(N)).
improve profiling code.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@728 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-12-13 20:00:41 +00:00
vsc
910e50d980 some_recordedp never gets a third argument bound 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@726 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-12-11 16:08:35 +00:00
vsc
81ee7099d2 statistics/0 should also show maximum heap spent. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@724 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-12-11 14:56:09 +00:00
vsc
00886e5205 key_statistics/3 
disable stack dump by default: yap_flags(stack_dump,_).


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@720 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-12-10 14:36:22 +00:00
vsc
763b59bb05 $meta_predicate should be in user. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@715 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-12-03 06:06:24 +00:00
vsc
9bb13a1381 divide overflow time/1000 (Pat Caldron). 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@714 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-12-03 06:03:27 +00:00
vsc
4238da327d \+,not and | should be module processed in the same way as -> ; and , 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@711 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-12-02 18:08:25 +00:00
vsc
28ec10b764 meta-call should not have choice-points when co-routyining starts. This 
happened because of ; Thanks to Patrick Caldron.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@709 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-11-26 23:00:32 +00:00
vsc
7e5b706936 extra array functionality 
fix YAPOr compilation.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@708 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-11-26 22:28:32 +00:00
vsc
8264bfeb9e fix debugger 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@706 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-11-26 22:16:30 +00:00
vsc
3e0216413a write_depth(0) is an acceptable option for write_term. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@702 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-11-20 20:02:11 +00:00
vsc
0018af2b05 <0 would not work, it would set to default. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@701 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-11-20 20:01:33 +00:00
vsc
8934201fd3 oops! 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@698 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-11-20 15:07:36 +00:00
vsc
4e727b2f34 get rid of annoying debugging message. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@697 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-11-20 15:04:37 +00:00
vsc
35f1d9cf63 initialization predicates should execute in consulted module. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@692 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-11-19 14:43:17 +00:00
vsc
f53fdc54cb Patrick Caldon: 
make goal_expansion/3 work recursively
fixes a couple of spelling errors in the manual


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@689 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-11-18 17:17:22 +00:00
vsc
6c626484f0 fix module stuff (at last) 
debugger should call goal_expansion in spycalls.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@679 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-11-12 00:33:48 +00:00
vsc
9875d2ed7c add maximum limit to how much we can dump on stack error. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@677 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-11-11 19:48:07 +00:00
vsc
7b2c4dc6ff all global symbols should now start with _YAP 
global functions should not be called from within file (bug in
binutils/WIN32).


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@675 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-11-11 17:38:10 +00:00
vsc
7be5341ee0 don't show inner preds in stack dump. 
debugger should never show (a,b).


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@673 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-11-05 19:14:42 +00:00
vsc
4326a07f2e make compile module aware. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@670 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-31 19:27:13 +00:00
vsc
ae570afa71 fix portray_clause(a(1)) 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@669 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-31 17:35:24 +00:00
vsc
8c71464b80 cleanup patches. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@654 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-27 18:11:01 +00:00
vsc
7f4fdb1652 don't debug (a,b), debug a and then b. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@652 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-23 21:43:55 +00:00
vsc
95e6dea185 respect prefix option in WIN32 
check for rint in configure and use
a simple hack to replace it if needed.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@650 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-23 17:10:33 +00:00
vsc
d21021da0d get rid of UnCutable 
a:(a(X),b(X)) should be the same as a:a(X), a:b(X). Use PushModPred to
force that.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@642 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-18 13:54:53 +00:00
vsc
78923655b5 dynamic predicates with no clauses are not undefined, so 
they should not point at UNDEFCODE but at FAIL_CODE


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@636 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-14 16:25:38 +00:00
vsc
523fae9544 stack overflow patches: 
process overflows as high-level as possible;
   introduce overflow related errors
   ExpandWorkSpace should never call Error: use ErrorMessage instead,
   format_putc should never release memory, causes memory corruption,
   Linux does not like MAP_FIXED, it can overwrite the actual program
code.
   condor: twick configure to disable readline with condor.
----------------------------------------------------------------------


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@632 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-10 05:58:49 +00:00
vsc
aae01edde2 keep on improving stack dumps. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@629 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-08 14:44:44 +00:00
vsc
935665ec92 fix ^c abort for PCs: registers were not being reset properly. 
fix error message in abort.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@628 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-08 14:32:42 +00:00
vsc
bfbc9c9dfc fix listing/1 breakage. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@627 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-08 05:35:09 +00:00
vsc
98d9c42c42 fix error handling for second argument of number_codes and 
number_chars/2


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@626 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-08 05:00:36 +00:00
vsc
342faf6d89 Insert Christian patches: 
- uncutable predicates;
  - call_cleanup/2.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@615 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-03 13:54:35 +00:00
vsc
f57c2a1c19 improve stack dumping 
fix format docs to talk about ~*


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@612 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-01 20:29:58 +00:00
vsc
ef57cc40ce portray_clause should not bind variables. 
fix to look more like SICStus.
use standard streams and format.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@611 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-01 20:28:47 +00:00
vsc
edee8a955f fix clause/3 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@601 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-23 13:43:47 +00:00
vsc
39a825e85f fix backtracking in syntax error. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@595 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-17 05:55:14 +00:00
vsc
89565bf45a fix current_modules/1 and 2 to return all predefined modules. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@594 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-17 00:14:23 +00:00
vsc
8ba604d9b3 count profiling entries from meta-calls, even if that means a little more 
work.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@593 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-17 00:02:39 +00:00
vsc
f0ce954741 fixes to c-interface 
fixes for compilation with native mingw32
documentation fixes.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@591 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-16 23:01:59 +00:00
vsc
cf6391d96b make open/3 complain when trying to read after end of file. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@590 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-16 16:57:27 +00:00
vsc
21aab28a59 new error handlong mechanism 
new YAP_ foreign interface
fix unbound_first_arg in call_with_args


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@582 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-09 17:40:12 +00:00
vsc
94e9529128 first cut at call counter. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@580 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-03 14:28:09 +00:00
vsc
cf638188ce support hidden predicates 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@578 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-02 17:33:00 +00:00
vsc
5cc8ea1d52 hide_predicate 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@571 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-08-14 16:00:54 +00:00
vsc
00033ba7af fix attribute wake up bug. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@568 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-08-09 19:31:35 +00:00
vsc
d0a4007160 fix broken debugger help message. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@564 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-08-01 17:57:18 +00:00
vsc
511eb450af truly fix add_to_path 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@559 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-07-23 16:54:29 +00:00
vsc
0b00f3912b use calloc when malloc allocates memory 
add_to_path should store atoms, not strings.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@558 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-07-23 15:49:06 +00:00
vsc
c27b23f3a5 miscellaneous fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@556 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-07-17 20:25:30 +00:00
vsc
8b531d3293 fix spy of external procedures. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@547 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-06-18 05:25:02 +00:00
vsc
fa33648499 allow abolish of static procedures, even if they are being used. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@546 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-06-18 05:22:35 +00:00
vsc
b48f1264b9 fix report on initial and token line for parser. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@540 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-06-17 15:28:01 +00:00
vsc
804f7ecebc fix some throws 
fix shell/1 and shell/2 in system library.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@539 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-06-17 06:27:00 +00:00
vsc
9b8dad9d15 term_position in read_terms 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@536 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-06-16 23:47:01 +00:00
vsc
60ae7a9ce5 make gc much more aggressive at recovering db space. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@529 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-06-12 16:48:35 +00:00
vsc
d8f2f035be fix read_vars 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@528 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-06-12 16:46:05 +00:00
vsc
7176752a68 fixes for abolish. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@525 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-06-11 05:30:47 +00:00
vsc
8c372cfa59 insert prolog_flag fileerros 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@522 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-06-10 22:55:19 +00:00
vsc
e7748d6234 fluffy stuff for atom garbage collection. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@519 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-06-05 03:59:50 +00:00
vsc
136f2b4ed9 fix syntax_errors properly. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@518 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-06-05 01:34:06 +00:00
vsc
3a660ed7af fix error handling in read to do what it should do. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@517 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-06-05 01:22:57 +00:00
vsc
26c23422e9 default mode for syntax error should be error, not just fail. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@515 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-06-04 21:14:39 +00:00
vsc
358714433c first take for atom garbage collector. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@513 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-06-04 18:21:55 +00:00
vsc
51a0619671 use YAPSHAREDIR 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@509 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-06-03 16:13:49 +00:00
vsc
1ec4c2acaf fix debugger messages 
debug imported mnodules
fix yap2swi in win32
fixes for solaris


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@505 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-06-01 01:46:06 +00:00
vsc
0f471f8810 I/O fixes: get_quoted would go through EOF, check if answer replied EOF 
when asking for more solutions, readline in stream == 0 not 2.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@491 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-05-24 05:14:46 +00:00
vsc
38f07b67de take care of the case where two files have different names but 
are the same (at least for Unix/Linux).
recover $loaded space after initialisation.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@488 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-05-24 03:57:20 +00:00
vsc
c9be907884 fix bug in wakeup when in the middle of unifying a list (found by Bart Demoen). 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@486 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-05-24 00:13:15 +00:00
vsc
bf2e66d5ef debugger k option would stop at exit port. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@482 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-05-23 04:21:54 +00:00
vsc
a5638757d3 unify might bound a multi-assignment variable?\027?\024 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@480 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-05-21 04:18:15 +00:00
vsc
008cd709a1 improve the interface a bit more. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@476 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-05-18 04:01:53 +00:00
vsc
17728f58f5 beautification 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@475 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-05-17 01:01:07 +00:00
vsc
86e4a99d73 changes to support extended foreign interface (include slots, new exception 
handling for C-code, and several fixes to calling foreign code).


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@470 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-05-14 18:24:34 +00:00
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