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

284 Commits

Author SHA1 Message Date
vsc
5b6e8182d1 expand_clauses: keep a list of clauses to expand 
fix new trail scheme for multi-assignment variables


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1035 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-04-14 19:10:40 +00:00
vsc
dc245aed32 fix memory leaks 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1034 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-04-07 22:04:04 +00:00
vsc
545b12a808 if number of left-over < 1/5 keep list of clauses to expand around 
fix call to stack expander


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1030 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-03-31 01:02:18 +00:00
pmoura
30c2f0e570 Removed debugging line to allow compilation. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1029 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-03-25 02:19:10 +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
2e3221a68d optimise -> for type tests 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1024 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-03-10 14:59:55 +00:00
vsc
ad685b6e5b fix missing ClSize in index.c 
start introducing docs for threads (copied from SWI).


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1019 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-03-05 17:27:53 +00:00
vsc
caa0b26665 solaris fixes for threads 
get rid of SizeOfBlock


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1018 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-03-05 15:26:33 +00:00
rslopes
69f6496e7e Profiler update 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1017 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-03-04 21:17:40 +00:00
vsc
4eeceb6549 debugging leftovers 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1011 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-29 01:40:51 +00:00
vsc
495ed28c35 remove debuging info 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1009 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-28 01:10:15 +00:00
vsc
02ec294d84 more fixes for multi-threading. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1008 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-28 01:08:59 +00:00
rslopes
58e306b815 Profiler Update 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1005 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-25 19:33:08 +00:00
rslopes
6198cdb4bc Low Profiler Update 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1004 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-25 19:06:31 +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
0c1ed177f6 fix a few nasties just introduced. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@999 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-20 15:00:51 +00:00
vsc
53c1eb54a2 more fixes for thread support. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@998 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-20 02:28:19 +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
d3f49b75df clause should not do write locking 
expand_index should not care whether read_locks are held.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@996 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-18 01:43:32 +00:00
vsc
860ea6d115 Take care to process heap overflows correctly. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@992 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-17 16:27:22 +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
08fe01ad98 a few more fixes, and we're done with threads (for now) ;-). 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@980 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-11 16:18:16 +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
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
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
0a7ec31659 bug fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@962 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-01-26 12:41:06 +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
b16de6ad3d more fixes over tabling changes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@953 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-12-18 17:36:54 +00:00
vsc
e7ab7b4c8a fix non-tabling version 
fix compilation with THREADS


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@952 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-12-18 17:23:22 +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
0c2a3b4aff fixes for bad indexing on floats. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@950 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-12-05 15:18:08 +00:00
vsc
2fbad3d467 fix fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@943 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-12-02 01:15:50 +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
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
2fc4750456 a few more simple fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@935 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-11-24 00:00:43 +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
ff20288236 don't keep source for log update facts, just execute them to find out the 
arguments.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@932 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-11-18 19:24:46 +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
a23c409540 don't leave dangling pointers to switch tables, as they can be removed 
easily.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@913 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-31 00:20:52 +00:00
vsc
009452e075 fix reference counters when copying try-trust chains 
fixes on memory allocation


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@912 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-30 22:52:46 +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
76160f72a8 fix syntax error allowed by newer GCCs 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@900 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-14 21:17:32 +00:00
vsc
9f6ef90e85 fix another bug in when removing indexing code. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@896 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-14 18:37:56 +00:00
vsc
9d64f1d2d1 get rid of ClUse in logupdindices 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@895 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-14 13:10:26 +00:00
vsc
521e70e9ab more fixes for new indexing code. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@893 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-14 00:53:10 +00:00
vsc
5f9aedfc3f indexing did not understand unify_list 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@891 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-08 00:47:04 +00:00
vsc
32301f0060 more fixes on indexing code 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@883 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-06 13:49:38 +00:00
vsc
cf148cd0cb Fix asserta_static 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@882 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-02 18:20:11 +00:00
vsc
57c6e21bcd cleanup remove_from_index 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@881 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-02 16:04:20 +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
4e1899be78 typos ans small glitches from Christian 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@877 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-09-25 00:48:04 +00:00
vsc
99cfccfaf0 call garbage collection at every proceed. 
don't try to expand indices on static predicates.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@876 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-09-24 23:53:48 +00:00
vsc
8df97ef09d more fixes for new indexing code. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@874 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-09-23 15:14:56 +00:00
vsc
0af6d3f1c4 more fixes for expand_index 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@873 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-09-23 12:41:31 +00:00
vsc
3e17f53c28 more fixes to new indexing code 
a few fixes to functor


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@872 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-09-23 02:19:37 +00:00
vsc
f6170508cd more indexing fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@871 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-09-20 03:06:15 +00:00
vsc
0d441d069d fixes from Stasinos 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@870 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-09-15 19:06:55 +00:00
vsc
ac19e411a2 more fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@869 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-09-15 17:56:27 +00:00
vsc
c14a52c419 fix memory expansion 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@868 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-09-15 10:53:10 +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
402d26796f fix indexing on multiple arguments 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@862 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-08-27 13:30:50 +00:00
stasinos
aadacd9fe6 do_var_clauses() and do_var_group() do not return anything. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@851 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-07-25 09:21:03 +00:00
vsc
d81fffeec9 try to make comparison faster in indexing code. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@837 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-06-06 13:16:40 +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
2bd2bcb68b fix bad understanding of put_y_val in add_info/index.c 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@832 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-05-23 12:31:50 +00:00
vsc
0afb07931f patches to Ricardo Lopes' low level profiler: enable if SIGPROF is 
there, do sorting, init PROFPREDS when you start counters, keep time
stamps for eventual assert/retract, and use qsort (3) to do less work.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@829 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-05-20 19:11:59 +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
6e17ac0070 fix count clauses 
fix bigint in index.c


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@824 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-05-01 21:07: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
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
d7f80ea1ad Stasinos noticed that _YAP_ breaks C standard: use Yap_ instead. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@691 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-11-18 18:18:05 +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
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
1fe8842094 Reset ErrorMessage before entering IndexPred (otherwise system will be 
confused with previous errors).


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@625 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-08 01:09:28 +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
2b78d7ce14 pesky ^C and abort fixes (I hope) 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@236 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-12-18 22:01:26 +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