vsc
|
101abc67d0
|
fix bug in processing overflows of expand_clauses.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1365 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-08-17 18:48:35 +00:00 |
|
vsc
|
996272db22
|
YPP would leave exceptions on the system, disabling Yap-4.5.7
message.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1364 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-08-17 13:35:52 +00:00 |
|
vsc
|
a4b79352d5
|
preliminary support for viterbi algorithm and HMMs
some code cleanups
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1363 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-08-17 13:34:56 +00:00 |
|
vsc
|
46f6a08087
|
Allow put_byte and get_byte on text streams by default.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1362 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-08-17 02:27:39 +00:00 |
|
vsc
|
9be7e30889
|
fix overflow in unify_with_occurs_check
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1361 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-08-15 14:16:38 +00:00 |
|
ricroc
|
4eccad5e06
|
TABLING FIX: support for incomplete tables
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1360 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-08-12 17:00:00 +00:00 |
|
ricroc
|
d12421405c
|
TABLING FIX: recover unused space algorithm
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1359 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-08-10 21:36:34 +00:00 |
|
pmoura
|
97af65a510
|
Logtalk 2.25.1 files.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1358 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-08-08 17:34:33 +00:00 |
|
pmoura
|
80c28e1507
|
Logtalk 2.25.1 files.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1357 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-08-08 12:13:45 +00:00 |
|
vsc
|
ab97812ec7
|
first steps to allow mavars with tabling
fix trailing for tabling with multiple get_cons
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1356 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-08-05 14:55:03 +00:00 |
|
ricroc
|
34b2a0df4f
|
TABLING NEW: support to limit the table space size
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1355 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-08-04 15:45:56 +00:00 |
|
vsc
|
b8f1beec74
|
fix debugger to do well nonsource predicates.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1354 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-08-02 03:09:52 +00:00 |
|
ricroc
|
dda96dc613
|
TABLING FIXED: opcode test in instruction table_try_answer
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1353 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-08-01 18:26:28 +00:00 |
|
ricroc
|
d6a2f6ac94
|
TABLING FIXED: table and yap_flag(tabling_mode,_) declarations
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1352 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-08-01 17:59:49 +00:00 |
|
ricroc
|
b36b836820
|
TABLING NEW: better support for incomplete tabling
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1351 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-08-01 15:40:39 +00:00 |
|
ricroc
|
edafbcc7c3
|
TABLING FIXED: predicate abolish_all_tables/0
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1350 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-07-28 16:29:50 +00:00 |
|
ricroc
|
ed688bcff0
|
TABLING FIXED: cuts and batched scheduling
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1349 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-07-26 16:28:28 +00:00 |
|
rslopes
|
934f7d6791
|
solved warning: cast from pointer to integer of different size
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1348 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-07-20 13:54:42 +00:00 |
|
rslopes
|
3ec000378a
|
fix for older compilers that do not support declaration of vars
in the middle of the function code.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1347 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-07-19 17:12:18 +00:00 |
|
rslopes
|
3cb65ee103
|
fix for older compilers...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1346 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-07-19 16:54:20 +00:00 |
|
vsc
|
fc853dddfa
|
Yap should respect single argument indexing.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1345 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-07-18 17:41:16 +00:00 |
|
ricroc
|
6b3c81c56e
|
TABLING: new predicate 'is_tabled/1'.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1344 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-07-15 18:03:26 +00:00 |
|
ricroc
|
5ef65b053e
|
TABLING: new predicates 'tabling_statistics' and 'abolish_all_tables'.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1343 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-07-11 19:17:32 +00:00 |
|
ricroc
|
3a93e0e079
|
TABLING: answers for completed calls can now be obtained by loading (new option) or executing (default) them from the trie data structure.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1342 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-07-06 19:34:12 +00:00 |
|
vsc
|
6d34ce46f3
|
ifix Yap_op_names
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1341 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-07-06 18:13:21 +00:00 |
|
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 |
|