vsc
|
b5d57af1ee
|
avoid debug dependency
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1340 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-07-06 17:54:40 +00:00 |
|
vsc
|
a396b732f7
|
missing ! in module option processing code.:
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1339 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-07-06 15:51:01 +00:00 |
|
vsc
|
6979a873cc
|
improvements to compiler: merged instructions and fixes for ->
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1338 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-07-06 15:10:18 +00:00 |
|
vsc
|
f6da8078ae
|
ifix some wierd cases in indexing code:
would not look at next argument
problem with pvar as last clause (R Camacho).
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1337 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-07-05 18:32:32 +00:00 |
|
vsc
|
d62a9e2ffa
|
ifix bad performance in backtracking nth and th0.
X
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1336 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-07-05 18:29:25 +00:00 |
|
vsc
|
bbfed93774
|
fix silly calls such as 0.15 ( bug reported by Jude Shavlik)
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1335 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-06-08 00:35:27 +00:00 |
|
vsc
|
99e42cfaf7
|
get rid of //
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1334 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-06-06 22:29:22 +00:00 |
|
vsc
|
a84b8967a8
|
support Nuno Fonseca's ypp
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1333 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-06-06 05:11:55 +00:00 |
|
vsc
|
8c709eb519
|
add Nuno's YPP
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1332 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-06-06 05:10:37 +00:00 |
|
vsc
|
43eb3012e0
|
insert support for Nuno Fonseca's CPP
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1331 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-06-06 05:08:14 +00:00 |
|
vsc
|
0593e9a686
|
update configuration script to avoid incompatible options`
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1330 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-06-06 05:02:08 +00:00 |
|
ricroc
|
9a85c9c0ff
|
store tabling_mode info in the table_entry data structure
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1329 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-06-04 08:05:27 +00:00 |
|
ricroc
|
937887d3df
|
remove LocalSchedPredFlag from the PredEntry data structure
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1328 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-06-04 08:03:42 +00:00 |
|
ricroc
|
3d8c03f3c9
|
long int support for tabling
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1327 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-06-04 07:28:24 +00:00 |
|
ricroc
|
c665fa8c11
|
include declarations (small changes)
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1326 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-06-03 18:28:11 +00:00 |
|
ricroc
|
e7dc1c2e36
|
missing endif declaration at the end of the file
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1325 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-06-03 09:02:08 +00:00 |
|
ricroc
|
7f87e89910
|
float support for tabling
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1324 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-06-03 08:26:32 +00:00 |
|
ricroc
|
08eaaa570d
|
float support for tabling
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1323 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-06-03 08:19:18 +00:00 |
|
vsc
|
f79365e0f6
|
inline compare
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1322 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-06-01 21:23:44 +00:00 |
|
vsc
|
7af3eafd12
|
== and \= should not need a choice-point in ->
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1321 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-06-01 20:25:23 +00:00 |
|
vsc
|
b2ecd33c89
|
put switch_list_nl back
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1320 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-06-01 16:42:30 +00:00 |
|
vsc
|
aff5df7760
|
get_rid of try_me?, retry_me? and trust_me? instructions: they are not
significantly used nowadays.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1319 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-06-01 14:02:52 +00:00 |
|
vsc
|
f3fe74cb9f
|
improve bb routines to use the DB efficiently
change interface between DB and BB.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1318 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-06-01 13:53:46 +00:00 |
|
vsc
|
d19cf8bef8
|
fix cleanup of expand_clauses: make sure we have everything with NULL afterwards.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1317 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-31 20:04:17 +00:00 |
|
vsc
|
2ed1345611
|
insert some more slack for indices in LU
Use doubly linked list for LU indices so that updating is less cumbersome.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1316 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-31 19:42:28 +00:00 |
|
ricroc
|
b8546491fc
|
copyright header in OPTYap files
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1315 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-31 08:24:24 +00:00 |
|
ricroc
|
9cf12ce705
|
*** empty log message ***
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1314 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-31 08:21:43 +00:00 |
|
ricroc
|
5de32c31d1
|
stdio.h include missing
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1313 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-31 08:20:23 +00:00 |
|
ricroc
|
7976da97b8
|
make the tabling engine independent of the tag scheme
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1312 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-31 08:19:31 +00:00 |
|
vsc
|
626708cdef
|
fix expand_index on tabled code.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1311 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-31 04:46:06 +00:00 |
|
vsc
|
7ef2b657df
|
fix SYSTEM_ERROR messages
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1310 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-31 02:15:53 +00:00 |
|
ricroc
|
f1db3d3b69
|
remove abort_yapor, abort_yaptab, ...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1309 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-31 00:49:49 +00:00 |
|
ricroc
|
1f2af700d2
|
reorder OPT includes
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1308 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-31 00:38:20 +00:00 |
|
ricroc
|
5d6d25fba8
|
remove abort_yapor function
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1307 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-31 00:32:02 +00:00 |
|
ricroc
|
1e37891c2d
|
remove abort_yapor function
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1306 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-31 00:23:47 +00:00 |
|
ricroc
|
97a76c60fa
|
remove abort_yapor function
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1305 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-31 00:12:30 +00:00 |
|
ricroc
|
a4de2217ca
|
declare tabling_mode as a meta predicate
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1304 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-31 00:08:35 +00:00 |
|
vsc
|
50398abc6d
|
changes to support more tagging schemes from tabulation.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1303 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-30 06:07:35 +00:00 |
|
vsc
|
95612f52e9
|
get rid of initial empoty space.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1302 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-30 05:53:34 +00:00 |
|
vsc
|
60f6290873
|
get rid of annoying debugging message.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1301 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-30 05:33:43 +00:00 |
|
vsc
|
bb9077d5cc
|
fix tabling
allow atom gc again for now.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1300 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-30 05:26:50 +00:00 |
|
vsc
|
b45acf1195
|
add some atom gc fixes
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1299 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-30 03:26:37 +00:00 |
|
rslopes
|
f9dd4ebdf7
|
*** empty log message ***
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1298 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-27 22:27:59 +00:00 |
|
vsc
|
6dbf25e54c
|
Don't try to mess with sequences that don't end with a trust.
A fix for the atom garbage collector actually ignore floats ;-).
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1297 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-27 21:44:00 +00:00 |
|
rslopes
|
c1480cfd91
|
*** empty log message ***
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1296 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-26 18:26:27 +00:00 |
|
vsc
|
e6de26a000
|
fix warning
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1295 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-26 18:07:32 +00:00 |
|
rslopes
|
35357f7f17
|
*** empty log message ***
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1294 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-26 18:03:08 +00:00 |
|
vsc
|
e1b2820d21
|
garbage collection of ma vars was fixed in 64 bit machines, due to int/Int problems.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1293 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-26 17:50:06 +00:00 |
|
rslopes
|
1e93141fae
|
coroutining and depth-limit enabled by default
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1292 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-26 17:26:55 +00:00 |
|
vsc
|
b2dfcf33a1
|
fix compiler bug in 1 << X, found by Nuno Fonseca.
compiler internal errors get their own message.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1291 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-05-25 21:43:33 +00:00 |
|