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

Commit graph

  • 1335561f1f get DebugPlWrite back in vsc 2008-02-01 22:40:05 +00:00
  • 51fd3b2dcc trie support for atoms with spaces ricroc 2008-02-01 18:59:38 +00:00
  • 176c6ae3c5 Corrected a problem with the format/2 call in the definition of the new predicate time/1 for those cases where we print "Inf" instead of a number for the CPU percentage. pmoura 2008-02-01 16:50:28 +00:00
  • ba31d8db97 NEW: time/1 (based on the SWI-Prolog time/1 predicate; request from Paulo Moura). pmoura 2008-01-31 23:31:47 +00:00
  • cfa2a8f75f fix indexing in 64 bits (it would split ints from atoms :( ). vsc 2008-01-30 10:35:43 +00:00
  • cca4dfef2e fix debugger vsc 2008-01-29 17:25:45 +00:00
  • 4a07cd99a5 win version was broken because wchar_t is unsigned in WIN32. vsc 2008-01-28 23:35:04 +00:00
  • c567a5aeb1 fix small bug in recorded multi-threaded. vsc 2008-01-28 18:21:26 +00:00
  • f1613bf732 fix small bug in restore opcode vsc 2008-01-28 18:12:36 +00:00
  • e032bcb8be fix typo vsc 2008-01-28 17:13:41 +00:00
  • fc2d89a372 fix case where BOM is asked for, and fix case where file with BOM is consulted, not just read. Also fix some deadlocks when protecting file access. vsc 2008-01-28 12:47:45 +00:00
  • 456b4eb6c1 fix BOM trouble vsc 2008-01-28 10:42:20 +00:00
  • 44e4a953e4 fix another trail overflow. vsc 2008-01-27 23:07:30 +00:00
  • ff8213e506 make thread code more stable vsc 2008-01-27 11:01:07 +00:00
  • 4ae454aac6 Will Benton's patches for Mac 64 bits. vsc 2008-01-25 00:21:28 +00:00
  • fd6b87e5cf oops vsc 2008-01-24 22:47:14 +00:00
  • 82508f287b avoid self-locking in garbage collector. vsc 2008-01-24 22:21:27 +00:00
  • 42c88eddff clause should not try to discover who is fail. vsc 2008-01-24 10:20:42 +00:00
  • e353d8811f garbage collector was not asking for space. avoid 0 sized calls to mmap. vsc 2008-01-24 00:11:59 +00:00
  • 817663588d get rid of debugging messages vsc 2008-01-23 22:22:42 +00:00
  • 1a2d89a423 fix aux allocation vsc 2008-01-23 18:25:19 +00:00
  • 637f381d94 valgrind it! enable atom garbage collection. vsc 2008-01-23 17:57:56 +00:00
  • 2a7d514d3f fix missing variable vsc 2008-01-16 09:53:42 +00:00
  • b677c030de fix socket bug with undo char. vsc 2008-01-14 18:08:24 +00:00
  • 535a43245d line utilities vsc 2008-01-14 16:34:06 +00:00
  • d7eaa84d9e fix declaration vsc 2008-01-02 10:02:33 +00:00
  • 0176f14ae9 The arithmetic function integer/1 is not an ISO Prolog function. pmoura 2008-01-01 21:05:13 +00:00
  • 76bf9355a4 add SWI's char and code_type/2. vsc 2007-12-29 12:26:41 +00:00
  • f231da016b Correcte typo in the documentation of the key "walltime" of the built-in predicate statistics/2. pmoura 2007-12-27 02:40:28 +00:00
  • 3faa45cb0a new version of clp(fd) fix deadlock with empty args facts in clause/2. vsc 2007-12-26 19:50:40 +00:00
  • 65d3704e4b recover stack space vsc 2007-12-23 22:48:44 +00:00
  • 926d21808e purge_clauses does not need to do anything if there are no clauses fix gprof bugs. vsc 2007-12-18 17:46:58 +00:00
  • 7f925bcd5b corrected bugs in handling negation improved performance rzf 2007-12-11 18:46:14 +00:00
  • b8f97132d2 fixed typo in configure.in cleaned up code in lpad.pl rzf 2007-12-11 11:49:36 +00:00
  • 0ba4dd8efd removed loading of shared library rzf 2007-12-10 21:27:20 +00:00
  • 1d8e42eff0 now cplint compiles also under Mac OS rzf 2007-12-09 22:46:38 +00:00
  • 803e032b9f added some test file added a target to makefile to perform individual tests rzf 2007-12-05 17:43:32 +00:00
  • 9c511da82c Corrected a bug when dealing with existentially quantified bodies. Now it does not need anymore BDDs rzf 2007-12-05 16:32:17 +00:00
  • aa642a83f9 weighted graphs SICStus like library vsc 2007-12-05 14:49:59 +00:00
  • 64d62f1e3e improve JT fix graph compatibility with SICStus re-export declaration. vsc 2007-12-05 12:17:25 +00:00
  • c9c6b2e25c fixed compilation bug (it was not finding YapInterface.h in a clean install) rzf 2007-12-05 10:47:19 +00:00
  • 212a27a564 handling queries composed by a single negative literal rzf 2007-12-04 22:55:17 +00:00
  • e58d6b7bb5 added comments rzf 2007-12-04 18:47:31 +00:00
  • 63bd762d12 added test file for semlpadsld.pl and semlpad.pl rzf 2007-12-04 18:31:34 +00:00
  • 523a101b15 added comments to the semantic modules added test files for semlpadsld.pl and semlpad.pl rzf 2007-12-04 18:30:35 +00:00
  • 1bd96722de junction tree algorithm vsc 2007-11-28 23:52:14 +00:00
  • 3beda27d14 fixes to support threads and assert correctly, even if inefficiently. vsc 2007-11-26 23:43:10 +00:00
  • 5941606d19 fixed bug in itrie_traverse_cont() ricroc 2007-11-20 16:15:41 +00:00
  • 507d3058f4 fix some overflows vsc 2007-11-20 15:51:39 +00:00
  • 69ac9d7885 removed comment rzf 2007-11-17 19:12:02 +00:00
  • f7ea80dec3 added dual compilation html/pdf to manual.tex rzf 2007-11-17 19:09:05 +00:00
  • 48b6818654 added instructions on semcpl.pl commands print/0 and build/1 modified targets of Makefile rzf 2007-11-16 15:23:01 +00:00
  • 9ffa95724d just get rid of some debugging code. vsc 2007-11-16 15:02:25 +00:00
  • 968c509131 matrix operations for CLP(BN) discrete distributions. vsc 2007-11-16 15:00:56 +00:00
  • d908c8633f implement sophisticated operations with matrices. vsc 2007-11-16 14:58:41 +00:00
  • 3fb3776842 fized formatting rzf 2007-11-15 16:31:17 +00:00
  • 3fb86afe87 added comments rzf 2007-11-15 16:29:09 +00:00
  • d88751ae2d now it copies also manual.bbl and Makefile rzf 2007-11-15 16:27:09 +00:00
  • dd38b5706f removing old files rzf 2007-11-15 14:01:22 +00:00
  • 8fb01d6607 examples for the new programs rzf 2007-11-15 12:38:55 +00:00
  • 83b4c2cdac description of the new programs rzf 2007-11-15 12:35:29 +00:00
  • 011632500d added the new prograams rzf 2007-11-15 12:34:31 +00:00
  • dd7a96e082 list of test for semlpad.pl and semlpadsld.pl rzf 2007-11-15 12:33:56 +00:00
  • 28dd8a87a4 program for testing semcpl.pl rzf 2007-11-15 12:33:14 +00:00
  • 5f6c063171 program for testing cpl.pl rzf 2007-11-15 12:32:39 +00:00
  • d63e4aaaad module for computing the semantics of CP-logic programs rzf 2007-11-15 12:32:13 +00:00
  • 2ffffffed0 module for answering queries from CP-logic programs and detecting invalid programs rzf 2007-11-15 12:30:57 +00:00
  • 8a5020d7c3 module for computing the semantics of LPADs and answering queries by using SLG over instances rzf 2007-11-15 12:29:48 +00:00
  • 9e4f200216 SLG system rzf 2007-11-15 12:28:06 +00:00
  • 97b5036fe4 test file for lpad.pl rzf 2007-11-15 12:27:17 +00:00
  • a9c4d66cce renamed semantics.pl into semlpadsld.pl rzf 2007-11-15 12:26:25 +00:00
  • 20fc4d463c license file rzf 2007-11-15 12:25:20 +00:00
  • 364478ae53 copyright file for the SLG system rzf 2007-11-15 12:24:46 +00:00
  • 80b28345d6 module for answering queries in a goal oriented way using SLG resolution rzf 2007-11-15 12:23:08 +00:00
  • 21290f0fe0 fized comments rzf 2007-11-15 12:22:08 +00:00
  • 4388f26b59 added support for existential bodies rzf 2007-11-15 12:21:37 +00:00
  • c8343cc61c Makefile for documentation rzf 2007-11-15 12:20:07 +00:00
  • 25cf4d881f *** empty log message *** rzf 2007-11-15 12:18:46 +00:00
  • b2fced0500 split the file testlpadsld.pl into testlpadsld_gbfalse.pl testlpadsld_gbtrue.pl rzf 2007-11-15 10:48:33 +00:00
  • 69ccf0d8de renamed lpadsld.yap into lpadsld.pl testlpadsld.yap into testlpadsld.pl rzf 2007-11-14 18:17:40 +00:00
  • 09fa0abef9 renamed es.cpl into es.cpl esapprox.cpl into exapprox.cpl esrange.cpl into exrange.cpl rzf 2007-11-14 14:17:11 +00:00
  • b524b6930f renamed test.yap into testlpadsld.yap rzf 2007-11-14 13:09:06 +00:00
  • 56bbbad1e9 renamed cplint.yap into lpadsld.yap rzf 2007-11-14 12:40:26 +00:00
  • 01432a467a fix a few extra overflows. vsc 2007-11-14 09:23:42 +00:00
  • 5ff3890130 renamed semantics.yap into semclark.yap rzf 2007-11-13 16:41:49 +00:00
  • f1c35f6f90 The bump to version number 5.1.3 seems to have missed these two files. pmoura 2007-11-13 01:52:14 +00:00
  • c0c2d8767b fix trail overflow while copying huge terms vsc 2007-11-12 10:39:49 +00:00
  • c1a999bfb1 Logtalk 2.30.8 files. pmoura 2007-11-09 19:05:00 +00:00
  • 18553a6ff8 fixed some typos in cplint manual rzf 2007-11-08 17:58:30 +00:00
  • acba936e61 fix call(V:_). vsc 2007-11-08 16:03:20 +00:00
  • 7b6c96e3d7 fix some bugs in new dbterm code. vsc 2007-11-08 15:52:15 +00:00
  • f0e5441dc2 corrected option formatting rzf 2007-11-08 13:26:13 +00:00
  • f9d7b3ad58 added pdf and html versions of the cplint manual rzf 2007-11-08 12:47:24 +00:00
  • c630e32855 removed unused variables and incorrect prototypes rzf 2007-11-08 11:32:14 +00:00
  • 1268730712 corrected a bug in the installation of the documentation rzf 2007-11-08 11:30:19 +00:00
  • 9313f81ccd inserted installation instructions rzf 2007-11-08 11:29:43 +00:00
  • bb9d163040 compilation_mode option for load_files vsc 2007-11-08 11:22:05 +00:00
  • 925639eccc YAP would always say the system has tabling! vsc 2007-11-08 09:53:01 +00:00
  • 9174f32eb5 added support for the compilation of cplint with the option --enable-cplint[=DIR] where DIR is the optional directory prefix where glu was installed rzf 2007-11-07 13:02:37 +00:00
  • e01e7cc8bf small fix vsc 2007-11-07 09:35:53 +00:00