diogo/yap-6.3
Archiviert
1
0
Fork 0
Code Issues Pull-Requests Pakete Projekte Releases Wiki Aktivität

Commit graph

  • 5b6e8e742b more fixes vsc 2008-03-31 22:56:22 +00:00
  • 407b94d5b6 Recognize Apple's MacOS X as a Unix system (this sets the flag "unix" to "true" when ruuning under MacOS X). pmoura 2008-03-31 19:51:07 +00:00
  • ff59818068 Reimplemented the message_queue_create/1-2 predicates and added new predicate message_queue_property/2 for compliance with the ISO Prolog Threads DTR. pmoura 2008-03-31 18:41:36 +00:00
  • 8a318a5e83 Updated the implementation of the thread_detach/1 predicate to help ensure that threads already terminated at the time of the call are destroyed instead of becoming zombie threads. pmoura 2008-03-31 16:26:31 +00:00
  • 8a1cfeb770 Added support for the SWI-Prolog thread_create/3 option at_exit/1 (work in progress) pmoura 2008-03-28 10:57:28 +00:00
  • 24b91ce2e1 rl_tree library vsc 2008-03-27 14:59:29 +00:00
  • 1c6b91cb72 improve WIN32 support and installation vsc 2008-03-27 00:41:33 +00:00
  • 48f393bedf RL-Trees module. nunofonseca 2008-03-26 23:05:22 +00:00
  • bee5cd8c0b fix thread_dettach vsc 2008-03-26 14:51:41 +00:00
  • f933b890f0 fix thread_dettach vsc 2008-03-26 14:41:45 +00:00
  • 5a88dc6333 more icc fixes vsc 2008-03-26 14:37:08 +00:00
  • 0c0826b938 fix some icc warnings vsc 2008-03-25 22:03:14 +00:00
  • b2274186bd make or-parallelism compile again vsc 2008-03-25 16:45:53 +00:00
  • 84c15fda0b regexp core-dump (obs from Ryszard Szopa) vsc 2008-03-25 11:54:08 +00:00
  • fa73e89807 Use "resource_error(threads)" instead of "resource_error(max_threads)" for compatibility with SWI-Prolog, XSB, and the latest ISO Prolog Threads DTR. pmoura 2008-03-25 01:04:27 +00:00
  • 47d7eee66d ensure locking vsc 2008-03-25 00:15:05 +00:00
  • e2519f4e3a handle message_queue_create/1 with vars right vsc 2008-03-25 00:11:55 +00:00
  • 7d6e7f2613 make sure thread messages go to user_error. vsc 2008-03-24 23:54:32 +00:00
  • c20c0f7767 fix maximum number of threads open error vsc 2008-03-24 23:48:47 +00:00
  • ba2023436a fix bug in all_calls vsc 2008-03-22 23:35:00 +00:00
  • 18568bd46f fix unnecessary exception. vsc 2008-03-22 11:38:05 +00:00
  • 1090771c90 fix breakage in module system disable stack writing in error for now vsc 2008-03-17 18:31:16 +00:00
  • 19a9340011 oops vsc 2008-03-17 12:11:56 +00:00
  • e13e788411 avoid silly message vsc 2008-03-17 12:08:28 +00:00
  • 6fe55c580f fix flags vsc 2008-03-15 12:19:33 +00:00
  • a6c3af96be chr updates vsc 2008-03-13 22:37:07 +00:00
  • 3101d1ff61 -q flag vsc 2008-03-13 18:41:52 +00:00
  • abbfff0917 Added wkb support to MYDDAS davidvaz 2008-03-13 18:31:05 +00:00
  • 2fe3053c78 fix exists/1 vsc 2008-03-13 18:03:57 +00:00
  • 381a3401ac further upgrades to chr vsc 2008-03-13 17:43:13 +00:00
  • 54ceaa1f37 string manipulation utilities for scripts. vsc 2008-03-13 17:38:24 +00:00
  • 0e45f242d4 update to CLP(QR). Note that CLP(Q) is still unsupported. vsc 2008-03-13 17:16:47 +00:00
  • e59b7fb409 Added wkb support to MYDDAS davidvaz 2008-03-13 17:13:34 +00:00
  • d02bc3de81 update chr vsc 2008-03-13 14:38:02 +00:00
  • 785ddd56af member was deterministic :( vsc 2008-03-12 19:18:29 +00:00
  • fda34985b9 fix lists predicates vsc 2008-03-12 17:05:04 +00:00
  • c07c5286c0 replace $append by lists:append vsc 2008-03-12 16:26:51 +00:00
  • 8498d60233 document stream stuff (Nicos request). vsc 2008-03-12 16:19:02 +00:00
  • fc22f62eb7 fix verbose flag vsc 2008-03-12 15:51:58 +00:00
  • d0cd8182d9 fix path issues when opening files vsc 2008-03-12 15:37:34 +00:00
  • cab59d9f3a [ ] should be processed by parser, not by scanner. vsc 2008-03-10 14:11:38 +00:00
  • 93e6f17c3b removed singletons rzf 2008-03-09 08:21:00 +00:00
  • ee2c0ca203 added installation of new solvers rzf 2008-03-08 15:41:01 +00:00
  • 094c256ae7 added test file for the new solvers rzf 2008-03-08 15:40:21 +00:00
  • 0d7427ad83 added the possibility of having builtin predicates rzf 2008-03-08 15:39:43 +00:00
  • 186d4e0687 corrected bug: call_solver was not exported rzf 2008-03-08 15:38:24 +00:00
  • 2237f94e06 removed some useless code rzf 2008-03-08 14:54:32 +00:00
  • 04c4c58edf corrected bug in fix_evidence rzf 2008-03-08 13:03:23 +00:00
  • 2152d90937 efficient variable elimination for lpads. Still buggy rzf 2008-03-08 11:32:26 +00:00
  • 70749fc27f initial implementation of vel for lpads rzf 2008-03-06 17:30:35 +00:00
  • 097bdcec67 reverted to old version due to a wrong commit rzf 2008-03-06 07:57:23 +00:00
  • a35877eb05 reverted to old version due to a wrong commit rzf 2008-03-06 07:43:30 +00:00
  • 2e289a8317 reverted to old version due to a wrong commit rzf 2008-03-06 07:37:56 +00:00
  • b55a9bd8f9 added option for setting the value of zeros in cpt table. By using a small value rather than 0.0 some errors with jt and vel are avoided rzf 2008-03-06 07:11:18 +00:00
  • 9c54e6c7bb improve library vsc 2008-02-28 00:33:52 +00:00
  • 60b5042f09 corrected a bug in the BNT path specification rzf 2008-02-27 21:28:07 +00:00
  • 8f02f3eb60 corrected a syntax bug rzf 2008-02-27 20:35:33 +00:00
  • 6bf0853de8 added arguments to s and sc for compputing the cpu and wall time for resolution and inference rzf 2008-02-27 20:00:57 +00:00
  • 575d5bcb26 fixed a bug in bnt.yap: the index of the value of the evidence variable start from 1 rather than from 0 added the possibility of computing the marginal of more than one variable in bnt.yap when jtree is used rzf 2008-02-26 13:52:38 +00:00
  • a3f3d62b1b more fixes to messages improve lineutils vsc 2008-02-25 10:15:31 +00:00
  • 6a7e26eab1 Marku's latest, thanks! vsc 2008-02-25 09:58:11 +00:00
  • 9058342aaa Added commented out code for an (incomplete) definition of the new float flags specified on the ISO Core Reviosion DTR. pmoura 2008-02-24 16:49:56 +00:00
  • 9fbbb1e47a Corrected a bug in thread_property/2 due to the use of the broken definition of the auxiliary predicate '$current_thread'/1. Removed predicates '$current_thread'/1-2. pmoura 2008-02-24 12:40:40 +00:00
  • 045965e3ed Completed ISO DTR definition of the message_queue_create/2 predicate. Still commented out waiting for a bug fix when creating queues without using aliases. pmoura 2008-02-24 12:28:05 +00:00
  • eac625e0ec Fixed a bug in the predicate threads/0 where some threads might not be listed if there are gaps between the identifiers of the existing threads (e.g. with threads 0, 1, 3 the thread 3 would not be listed). pmoura 2008-02-23 11:31:13 +00:00
  • 0e3d91a0ff fix chr bootstrap. vsc 2008-02-23 01:32:31 +00:00
  • bd957c06b6 support for trie_traverse/2 and itrie_save_as_trie/2 ricroc 2008-02-22 18:57:27 +00:00
  • 596ecc5126 support for trie_traverse/2 and itrie_save_as_trie/2 ricroc 2008-02-22 18:47:24 +00:00
  • f15c466da1 fix Makefile.in (obs from Bernd). vsc 2008-02-22 16:00:57 +00:00
  • 17d16e0b14 Big update to support more SICStus/SWI like message handling fix YAPSHAREDIR fix yap.tex (Bernd) vsc 2008-02-22 15:08:37 +00:00
  • da6d73302a bug in trie_join functions fixed ricroc 2008-02-21 15:14:41 +00:00
  • 7c4b951975 Included lpadclpbn.pl in the installation of clpint rzf 2008-02-18 16:58:51 +00:00
  • e3e1efb566 Goal oriented interpreter for LPADs where inference is performed by translating the portion of the LPAD related to the goal into CLP(BN) rzf 2008-02-18 16:52:33 +00:00
  • ceaf8af95d added binary flag suppress_attribute_display to clpbn to suppress the dislpaying of attributes fixed a bug in bnt.yap: the index of the value of the evidence variable start from 1 rather than from 0 added the possibility of computing the marginal of more than one variable in bnt.yap rzf 2008-02-18 16:42:04 +00:00
  • e748bd9b33 more fixes to modules vsc 2008-02-15 12:41:33 +00:00
  • 6cc240fe7f get rid of silly debugging message. vsc 2008-02-14 16:34:14 +00:00
  • 88bb8c81aa fix stupid module bug I introduced yesterday :( vsc 2008-02-14 16:22:42 +00:00
  • ca67a28a0c fixes for indexing code. vsc 2008-02-14 14:35:13 +00:00
  • 6d4edaa609 allow float matrix to be initialised with ints. vsc 2008-02-13 15:20:59 +00:00
  • df0a199afb fix the op changes vsc 2008-02-13 14:42:55 +00:00
  • d86f30a2eb CLP(BN) fixes vsc 2008-02-13 11:57:46 +00:00
  • a4a26478e0 fix some bugs from yesterday plus improve support for modules in operators. vsc 2008-02-13 10:15:36 +00:00
  • 4fa75e361a fix startline. vsc 2008-02-12 22:53:02 +00:00
  • afb734b51a improve learning in CLP(BN) vsc 2008-02-12 22:28:18 +00:00
  • efe6c4eaef condor support. vsc 2008-02-12 21:50:58 +00:00
  • 8ccc09d38f Quintus arg package vsc 2008-02-12 21:39:37 +00:00
  • 29d7bac9b7 a few extra portability fixes vsc 2008-02-12 18:10:48 +00:00
  • 162888c4bc hopefully an harbinger of things to come. vsc 2008-02-12 17:10:06 +00:00
  • af0fb4f4d9 SWI-portability changes vsc 2008-02-12 17:03:59 +00:00
  • 5b2cc724f3 *** empty log message *** rzf 2008-02-12 09:43:31 +00:00
  • 1ac399f57b new support for join/intersect operations ricroc 2008-02-11 17:00:23 +00:00
  • d39002c271 Work in progress in the implementation of a version of the message_queue_create/2 compliant with the ISO Threads DTR. pmoura 2008-02-09 13:04:32 +00:00
  • 458bdd890d bug in auxiliary_term_stack_size ricroc 2008-02-08 19:35:12 +00:00
  • 7a9e7816c9 undo current_predicate changes and make iso fully use LU semantics. vsc 2008-02-08 09:49:21 +00:00
  • 62c7d4aa8b fix reaction to pe==NULL vsc 2008-02-07 23:30:23 +00:00
  • 83e941e4cf don't break ISO standard in current_predicate/1. Include Nicos flag. vsc 2008-02-07 23:09:13 +00:00
  • a65a9d67ad changes to import vsc 2008-02-07 22:34:45 +00:00
  • 9b4c83ddb2 fix case where predicate is for an integer (DBEntry). vsc 2008-02-07 21:39:51 +00:00
  • 10afcef66b new version of CLP(FD) vsc 2008-02-07 11:28:14 +00:00
  • 2f5a1ae92f Corrected a few typos on the classification of predicates as ISO Prolog predicates. pmoura 2008-02-02 03:35:35 +00:00