Commit Graph

  • 203cb94c74 Fix for Fedora Core 4.0 rslopes 2005-08-22 20:21:52 +00:00
  • b53f5b691a Yap-5.0 rslopes 2005-08-22 15:30:53 +00:00
  • 5aceb1918a Yap-5.0 review. rslopes 2005-08-22 15:21:16 +00:00
  • dd6ac01ece *** empty log message *** rslopes 2005-08-22 14:38:04 +00:00
  • 8f7f0113a6 *** empty log message *** rslopes 2005-08-22 13:49:27 +00:00
  • 2d53ee8b6b *** empty log message *** rslopes 2005-08-22 13:42:05 +00:00
  • 8b172c64d7 *** empty log message *** rslopes 2005-08-22 11:53:28 +00:00
  • 858891b735 fix save/1. vsc 2005-08-22 04:07:20 +00:00
  • cffa76355e More viterbi fixes vsc 2005-08-19 03:38:08 +00:00
  • 5870526dd8 fix condor version vsc 2005-08-18 19:25:40 +00:00
  • b18224a460 more robust support for attributed vars: all_attvars and stack expansion. vsc 2005-08-17 20:13:50 +00:00
  • 101abc67d0 fix bug in processing overflows of expand_clauses. vsc 2005-08-17 18:48:35 +00:00
  • 996272db22 YPP would leave exceptions on the system, disabling Yap-4.5.7 message. vsc 2005-08-17 13:35:52 +00:00
  • a4b79352d5 preliminary support for viterbi algorithm and HMMs some code cleanups vsc 2005-08-17 13:34:56 +00:00
  • 46f6a08087 Allow put_byte and get_byte on text streams by default. vsc 2005-08-17 02:27:39 +00:00
  • 9be7e30889 fix overflow in unify_with_occurs_check vsc 2005-08-15 14:16:38 +00:00
  • 4eccad5e06 TABLING FIX: support for incomplete tables ricroc 2005-08-12 17:00:00 +00:00
  • d12421405c TABLING FIX: recover unused space algorithm ricroc 2005-08-10 21:36:34 +00:00
  • 97af65a510 Logtalk 2.25.1 files. pmoura 2005-08-08 17:34:33 +00:00
  • 80c28e1507 Logtalk 2.25.1 files. pmoura 2005-08-08 12:13:45 +00:00
  • ab97812ec7 first steps to allow mavars with tabling fix trailing for tabling with multiple get_cons vsc 2005-08-05 14:55:03 +00:00
  • 34b2a0df4f TABLING NEW: support to limit the table space size ricroc 2005-08-04 15:45:56 +00:00
  • b8f1beec74 fix debugger to do well nonsource predicates. vsc 2005-08-02 03:09:52 +00:00
  • dda96dc613 TABLING FIXED: opcode test in instruction table_try_answer ricroc 2005-08-01 18:26:28 +00:00
  • d6a2f6ac94 TABLING FIXED: table and yap_flag(tabling_mode,_) declarations ricroc 2005-08-01 17:59:49 +00:00
  • b36b836820 TABLING NEW: better support for incomplete tabling ricroc 2005-08-01 15:40:39 +00:00
  • edafbcc7c3 TABLING FIXED: predicate abolish_all_tables/0 ricroc 2005-07-28 16:29:50 +00:00
  • ed688bcff0 TABLING FIXED: cuts and batched scheduling ricroc 2005-07-26 16:28:28 +00:00
  • 934f7d6791 solved warning: cast from pointer to integer of different size rslopes 2005-07-20 13:54:42 +00:00
  • 3ec000378a fix for older compilers that do not support declaration of vars in the middle of the function code. rslopes 2005-07-19 17:12:18 +00:00
  • 3cb65ee103 fix for older compilers... rslopes 2005-07-19 16:54:20 +00:00
  • fc853dddfa Yap should respect single argument indexing. vsc 2005-07-18 17:41:16 +00:00
  • 6b3c81c56e TABLING: new predicate 'is_tabled/1'. ricroc 2005-07-15 18:03:26 +00:00
  • 5ef65b053e TABLING: new predicates 'tabling_statistics' and 'abolish_all_tables'. ricroc 2005-07-11 19:17:32 +00:00
  • 3a93e0e079 TABLING: answers for completed calls can now be obtained by loading (new option) or executing (default) them from the trie data structure. ricroc 2005-07-06 19:34:12 +00:00
  • 6d34ce46f3 ifix Yap_op_names vsc 2005-07-06 18:13:21 +00:00
  • b5d57af1ee avoid debug dependency vsc 2005-07-06 17:54:40 +00:00
  • a396b732f7 missing ! in module option processing code.: vsc 2005-07-06 15:51:01 +00:00
  • 6979a873cc improvements to compiler: merged instructions and fixes for -> vsc 2005-07-06 15:10:18 +00:00
  • f6da8078ae ifix some wierd cases in indexing code: would not look at next argument problem with pvar as last clause (R Camacho). vsc 2005-07-05 18:32:32 +00:00
  • d62a9e2ffa ifix bad performance in backtracking nth and th0. X vsc 2005-07-05 18:29:25 +00:00
  • bbfed93774 fix silly calls such as 0.15 ( bug reported by Jude Shavlik) vsc 2005-06-08 00:35:27 +00:00
  • 99e42cfaf7 get rid of // vsc 2005-06-06 22:29:22 +00:00
  • a84b8967a8 support Nuno Fonseca's ypp vsc 2005-06-06 05:11:55 +00:00
  • 8c709eb519 add Nuno's YPP vsc 2005-06-06 05:10:37 +00:00
  • 43eb3012e0 insert support for Nuno Fonseca's CPP vsc 2005-06-06 05:08:14 +00:00
  • 0593e9a686 update configuration script to avoid incompatible options` vsc 2005-06-06 05:02:08 +00:00
  • 9a85c9c0ff store tabling_mode info in the table_entry data structure ricroc 2005-06-04 08:05:27 +00:00
  • 937887d3df remove LocalSchedPredFlag from the PredEntry data structure ricroc 2005-06-04 08:03:42 +00:00
  • 3d8c03f3c9 long int support for tabling ricroc 2005-06-04 07:28:24 +00:00
  • c665fa8c11 include declarations (small changes) ricroc 2005-06-03 18:28:11 +00:00
  • e7dc1c2e36 missing endif declaration at the end of the file ricroc 2005-06-03 09:02:08 +00:00
  • 7f87e89910 float support for tabling ricroc 2005-06-03 08:26:32 +00:00
  • 08eaaa570d float support for tabling ricroc 2005-06-03 08:19:18 +00:00
  • f79365e0f6 inline compare vsc 2005-06-01 21:23:44 +00:00
  • 7af3eafd12 == and \= should not need a choice-point in -> vsc 2005-06-01 20:25:23 +00:00
  • b2ecd33c89 put switch_list_nl back vsc 2005-06-01 16:42:30 +00:00
  • aff5df7760 get_rid of try_me?, retry_me? and trust_me? instructions: they are not significantly used nowadays. vsc 2005-06-01 14:02:52 +00:00
  • f3fe74cb9f improve bb routines to use the DB efficiently change interface between DB and BB. vsc 2005-06-01 13:53:46 +00:00
  • d19cf8bef8 fix cleanup of expand_clauses: make sure we have everything with NULL afterwards. vsc 2005-05-31 20:04:17 +00:00
  • 2ed1345611 insert some more slack for indices in LU Use doubly linked list for LU indices so that updating is less cumbersome. vsc 2005-05-31 19:42:28 +00:00
  • b8546491fc copyright header in OPTYap files ricroc 2005-05-31 08:24:24 +00:00
  • 9cf12ce705 *** empty log message *** ricroc 2005-05-31 08:21:43 +00:00
  • 5de32c31d1 stdio.h include missing ricroc 2005-05-31 08:20:23 +00:00
  • 7976da97b8 make the tabling engine independent of the tag scheme ricroc 2005-05-31 08:19:31 +00:00
  • 626708cdef fix expand_index on tabled code. vsc 2005-05-31 04:46:06 +00:00
  • 7ef2b657df fix SYSTEM_ERROR messages vsc 2005-05-31 02:15:53 +00:00
  • f1db3d3b69 remove abort_yapor, abort_yaptab, ... ricroc 2005-05-31 00:49:49 +00:00
  • 1f2af700d2 reorder OPT includes ricroc 2005-05-31 00:38:20 +00:00
  • 5d6d25fba8 remove abort_yapor function ricroc 2005-05-31 00:32:02 +00:00
  • 1e37891c2d remove abort_yapor function ricroc 2005-05-31 00:23:47 +00:00
  • 97a76c60fa remove abort_yapor function ricroc 2005-05-31 00:12:30 +00:00
  • a4de2217ca declare tabling_mode as a meta predicate ricroc 2005-05-31 00:08:35 +00:00
  • 50398abc6d changes to support more tagging schemes from tabulation. vsc 2005-05-30 06:07:35 +00:00
  • 95612f52e9 get rid of initial empoty space. vsc 2005-05-30 05:53:34 +00:00
  • 60f6290873 get rid of annoying debugging message. vsc 2005-05-30 05:33:43 +00:00
  • bb9077d5cc fix tabling allow atom gc again for now. vsc 2005-05-30 05:26:50 +00:00
  • b45acf1195 add some atom gc fixes vsc 2005-05-30 03:26:37 +00:00
  • f9dd4ebdf7 *** empty log message *** rslopes 2005-05-27 22:27:59 +00:00
  • 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 ;-). vsc 2005-05-27 21:44:00 +00:00
  • c1480cfd91 *** empty log message *** rslopes 2005-05-26 18:26:27 +00:00
  • e6de26a000 fix warning vsc 2005-05-26 18:07:32 +00:00
  • 35357f7f17 *** empty log message *** rslopes 2005-05-26 18:03:08 +00:00
  • e1b2820d21 garbage collection of ma vars was fixed in 64 bit machines, due to int/Int problems. vsc 2005-05-26 17:50:06 +00:00
  • 1e93141fae coroutining and depth-limit enabled by default rslopes 2005-05-26 17:26:55 +00:00
  • b2dfcf33a1 fix compiler bug in 1 << X, found by Nuno Fonseca. compiler internal errors get their own message. vsc 2005-05-25 21:43:33 +00:00
  • f78cc61bc8 fix another bug in nth_instance, thanks to Pat Caldon vsc 2005-05-25 18:58:38 +00:00
  • 7e06e3fa36 fix error handling configure should not allow max-memory and use-malloc at same time some extensions for jpl vsc 2005-05-25 18:18:02 +00:00
  • 72b037275f Logtalk 2.25.0 files. pmoura 2005-05-23 23:33:41 +00:00
  • 0b420f5493 debugger was making predicates meta instead of testing fix handling of dbrefs in facts and in subarguments. vsc 2005-05-12 03:36:33 +00:00
  • d4d3a14c7a removeindexation needs clauses to work. vsc 2005-04-28 19:47:56 +00:00
  • 767eb026fb clause should always deref before testing type vsc 2005-04-28 14:50:45 +00:00
  • 92c6e7d93a first cut at implementing Gibbs sampling on CLP(BN), mostly for fun. It only works for non-deterministic CPTs, of course. vsc 2005-04-27 20:13:03 +00:00
  • 4c15c9371e indexing code could get confused with suspension points some further improvements on oveflow handling fix paths in Java makefile changs to support gibbs sampling in CLP(BN) vsc 2005-04-27 20:09:26 +00:00
  • c2e03a81b9 Logtalk 2.24.0 files. pmoura 2005-04-22 23:57:45 +00:00
  • 08efcbeb64 fix bug with (var(X) -> being interpreted as var(X) by indexing code vsc 2005-04-21 13:53:05 +00:00
  • 668a3dce2b try to improve error handling and warnings from within consults. vsc 2005-04-20 20:06:26 +00:00
  • 3ecff9c37a fix warnings vsc 2005-04-20 04:08:20 +00:00
  • 9ebc807dfb fix a few variable warnings fix erase clause to pass a pointer to clause, not code get rid of Yap4.4 code in Yap_EraseStaticClause vsc 2005-04-20 04:02:30 +00:00
  • ca8cdb9b5d remove debugging message vsc 2005-04-15 20:27:57 +00:00