yap-cvs
10 years agoRemoved printing of memory information master
Fabrizio Riguzzi [Fri, 6 Feb 2009 14:06:32 +0000 (14:06 +0000)]
Removed printing of memory information

10 years agoCorrected links with tilde
Fabrizio Riguzzi [Thu, 8 Jan 2009 19:28:27 +0000 (19:28 +0000)]
Corrected links with tilde

10 years agoAdded the algorithm PICL for inference in the Independent Choice Logic
Fabrizio Riguzzi [Mon, 8 Dec 2008 12:59:27 +0000 (12:59 +0000)]
Added the algorithm PICL for inference in the Independent Choice Logic

11 years agocontinue fixing
Vitor Santos Costa [Wed, 13 Aug 2008 10:29:43 +0000 (10:29 +0000)]
continue fixing

11 years agopatch previous patch for Linux (Keri Harris)
Vitor Santos Costa [Wed, 13 Aug 2008 10:26:55 +0000 (10:26 +0000)]
patch previous patch for Linux (Keri Harris)

11 years agomore locking fixes
Vitor Santos Costa [Wed, 13 Aug 2008 01:16:26 +0000 (01:16 +0000)]
more locking fixes

11 years agoDESTDIR fixes
Vitor Santos Costa [Tue, 12 Aug 2008 22:04:49 +0000 (22:04 +0000)]
DESTDIR fixes

11 years agoMaxOS fixes
Vitor Santos Costa [Tue, 12 Aug 2008 01:27:22 +0000 (01:27 +0000)]
MaxOS fixes
Avoid a thread deadlock
improvements to SWI predicates.
make variables_in_term system builtin.

11 years agoAdded built-in predicate format/1 for compatibility with SWI-Prolog.
Paulo Muora [Sun, 10 Aug 2008 15:44:12 +0000 (15:44 +0000)]
Added built-in predicate format/1 for compatibility with SWI-Prolog.

11 years agofix threads/0.
Vitor Santos Costa [Fri, 8 Aug 2008 16:05:10 +0000 (16:05 +0000)]
fix threads/0.

11 years agomore thread fixes.
Vitor Santos Costa [Fri, 8 Aug 2008 14:05:34 +0000 (14:05 +0000)]
more thread fixes.

11 years agomore threadin fixes
Vitor Santos Costa [Thu, 7 Aug 2008 20:51:15 +0000 (20:51 +0000)]
more threadin  fixes

11 years agofix debugging info
Vitor Santos Costa [Wed, 6 Aug 2008 23:05:49 +0000 (23:05 +0000)]
fix debugging info

11 years agofix fix
Vitor Santos Costa [Wed, 6 Aug 2008 17:34:15 +0000 (17:34 +0000)]
fix fix

11 years agomore thread fixes
Vitor Santos Costa [Wed, 6 Aug 2008 17:32:17 +0000 (17:32 +0000)]
more thread fixes

11 years agofix expand_term to list at end_of_file
Vitor Santos Costa [Wed, 6 Aug 2008 10:15:48 +0000 (10:15 +0000)]
fix expand_term to list at end_of_file

11 years agofixes to module expansion
Vitor Santos Costa [Wed, 6 Aug 2008 00:56:11 +0000 (00:56 +0000)]
fixes to module expansion

11 years agoswi compatibility support
Vitor Santos Costa [Fri, 1 Aug 2008 21:44:24 +0000 (21:44 +0000)]
swi compatibility support

11 years agofix bad syntax in config.h and first step to fix chr compilation.
Vitor Santos Costa [Sun, 27 Jul 2008 22:31:36 +0000 (22:31 +0000)]
fix bad syntax in config.h and first step to fix chr compilation.

11 years agoimprove C-interface and SWI comptaibility a bit.
Vitor Santos Costa [Thu, 24 Jul 2008 16:01:58 +0000 (16:01 +0000)]
improve C-interface and SWI comptaibility a bit.

11 years agoAdded missing documentation on the call/N family of built-in predicates.
Paulo Muora [Wed, 23 Jul 2008 11:43:15 +0000 (11:43 +0000)]
Added missing documentation on the call/N family of built-in predicates.

11 years agoSWI and module fixes
Vitor Santos Costa [Tue, 22 Jul 2008 23:34:44 +0000 (23:34 +0000)]
SWI and module fixes

11 years agosmall fixes
Vitor Santos Costa [Wed, 16 Jul 2008 10:58:59 +0000 (10:58 +0000)]
small fixes

11 years agoadd extra versions to maplist and fix apply macros to handle predicates
Vitor Santos Costa [Wed, 16 Jul 2008 10:45:45 +0000 (10:45 +0000)]
add extra versions to maplist and fix apply macros to handle predicates
with the same aargument.

11 years agoflatten does not need to be defined as a system predicate.
Vitor Santos Costa [Wed, 16 Jul 2008 10:34:00 +0000 (10:34 +0000)]
flatten does not need to be defined as a system predicate.

11 years agofixes by Bart and Tom: mostly libraries but nasty one in indexing
Vitor Santos Costa [Fri, 11 Jul 2008 17:02:07 +0000 (17:02 +0000)]
fixes by Bart and Tom: mostly libraries but nasty one in indexing
compilation.

11 years agoimprove graphs a bit.
Vitor Santos Costa [Thu, 26 Jun 2008 13:09:15 +0000 (13:09 +0000)]
improve graphs a bit.

11 years agosupport for glib-2.0
Fabrizio Riguzzi [Thu, 19 Jun 2008 21:28:33 +0000 (21:28 +0000)]
support for glib-2.0

11 years agosupport for glib-2.0
Fabrizio Riguzzi [Thu, 19 Jun 2008 21:08:31 +0000 (21:08 +0000)]
support for glib-2.0

11 years agoupgrade to 5.1.4
Vitor Santos Costa [Wed, 18 Jun 2008 10:02:24 +0000 (10:02 +0000)]
upgrade to 5.1.4

11 years agomake DOS compatible
Vitor Santos Costa [Tue, 17 Jun 2008 21:21:35 +0000 (21:21 +0000)]
make DOS compatible

11 years agofix missing decl
Vitor Santos Costa [Tue, 17 Jun 2008 21:04:27 +0000 (21:04 +0000)]
fix missing decl

11 years agofix c_interface not to crash when people try to recover slots that are OldManTrouble
Vitor Santos Costa [Tue, 17 Jun 2008 13:37:48 +0000 (13:37 +0000)]
fix c_interface not to crash when people try to recover slots that are
not there.
fix try_logical and friends to handle case where predicate has arity 0.

11 years agofix stack growth in globals
Vitor Santos Costa [Mon, 16 Jun 2008 21:22:13 +0000 (21:22 +0000)]
fix stack growth in globals
fix compilation messages

11 years agofix debugging message.
Vitor Santos Costa [Fri, 13 Jun 2008 14:10:27 +0000 (14:10 +0000)]
fix debugging message.

11 years agofix syntax error messages
Vitor Santos Costa [Thu, 12 Jun 2008 10:55:52 +0000 (10:55 +0000)]
fix syntax error messages

11 years agofix insert_new in rbtrees
Vitor Santos Costa [Wed, 11 Jun 2008 16:57:31 +0000 (16:57 +0000)]
fix insert_new in rbtrees

11 years agosome nice extra predicatesy
Vitor Santos Costa [Wed, 11 Jun 2008 11:08:24 +0000 (11:08 +0000)]
some nice extra predicatesy

11 years agoadded a new version of iterative deepening
Fabrizio Riguzzi [Mon, 9 Jun 2008 17:57:29 +0000 (17:57 +0000)]
added a new version of iterative deepening

11 years agoAdded iterative deepening
Fabrizio Riguzzi [Sun, 8 Jun 2008 18:11:41 +0000 (18:11 +0000)]
Added iterative deepening
Printing of Cudd information

11 years agoCorrected a bug in setting a thread exit status in case the thread goal results in...
Paulo Muora [Sun, 8 Jun 2008 16:55:23 +0000 (16:55 +0000)]
Corrected a bug in setting a thread exit status in case the thread goal results in an exception; exit status should be exception(Exception) and not exception(error(Exception,_)).

11 years agoLogtalk is no longer distributed with YAP. Please use the Logtalk standalone installe...
Paulo Muora [Sun, 8 Jun 2008 09:55:34 +0000 (09:55 +0000)]
Logtalk is no longer distributed with YAP. Please use the Logtalk standalone installer for a smooth integration with YAP.

11 years agoadded memory profiling calls
Fabrizio Riguzzi [Sun, 8 Jun 2008 08:38:36 +0000 (08:38 +0000)]
added memory profiling calls
removed limit to 1000 variables imposed by createVars beause of the use
of tha array of names of variables

11 years agoput chr back to life
Vitor Santos Costa [Sun, 8 Jun 2008 08:05:11 +0000 (08:05 +0000)]
put chr back to life

11 years ago*** empty log message ***
Fabrizio Riguzzi [Thu, 5 Jun 2008 19:33:51 +0000 (19:33 +0000)]
*** empty log message ***

11 years agofix trim_trail on 64 bit machines and non x86
Vitor Santos Costa [Thu, 5 Jun 2008 18:29:52 +0000 (18:29 +0000)]
fix trim_trail on 64 bit machines and non x86

11 years agofix rbtrees built from ordered lists
Vitor Santos Costa [Thu, 5 Jun 2008 16:24:08 +0000 (16:24 +0000)]
fix rbtrees built from ordered lists
fix jt
be more flexible about unbound parents

11 years agomake sure we do trim_trail whenever we mess with B!
Vitor Santos Costa [Wed, 4 Jun 2008 14:47:18 +0000 (14:47 +0000)]
make sure we do trim_trail whenever we mess with B!

11 years agomore fixes to C-interface
Vitor Santos Costa [Wed, 4 Jun 2008 13:58:37 +0000 (13:58 +0000)]
more fixes to C-interface

11 years agofix some cleanups
Vitor Santos Costa [Tue, 3 Jun 2008 22:43:14 +0000 (22:43 +0000)]
fix some cleanups

11 years agoadded timing predicates
Fabrizio Riguzzi [Tue, 3 Jun 2008 12:27:55 +0000 (12:27 +0000)]
added timing predicates

11 years agofix fixes to prandom
Vitor Santos Costa [Tue, 3 Jun 2008 09:27:57 +0000 (09:27 +0000)]
fix fixes to prandom

11 years agofix manual and message handling
Vitor Santos Costa [Tue, 3 Jun 2008 09:24:27 +0000 (09:24 +0000)]
fix manual and message handling

11 years agofix abolish bug
Vitor Santos Costa [Mon, 2 Jun 2008 17:20:28 +0000 (17:20 +0000)]
fix abolish bug

11 years agothread fixes
Vitor Santos Costa [Wed, 28 May 2008 17:18:35 +0000 (17:18 +0000)]
thread fixes

11 years agokeep current_stream across top-level.
Vitor Santos Costa [Mon, 26 May 2008 09:16:24 +0000 (09:16 +0000)]
keep current_stream across top-level.

11 years agoYapTab: support for early completion
Ricardo Rocha [Fri, 23 May 2008 18:28:58 +0000 (18:28 +0000)]
YapTab: support for early completion

11 years agofix sys.c for win32
Vitor Santos Costa [Fri, 23 May 2008 13:16:13 +0000 (13:16 +0000)]
fix sys.c for win32

11 years agoLatest from Markus!
Vitor Santos Costa [Fri, 23 May 2008 10:43:27 +0000 (10:43 +0000)]
Latest from Markus!

11 years agohandle SIGPIPE and improve USR1 and USR2
Vitor Santos Costa [Fri, 23 May 2008 10:02:13 +0000 (10:02 +0000)]
handle SIGPIPE and improve USR1 and USR2

11 years agoadd tmp_file/2
Vitor Santos Costa [Thu, 22 May 2008 23:25:21 +0000 (23:25 +0000)]
add tmp_file/2

11 years agoYapTab: support for early completion
Ricardo Rocha [Tue, 20 May 2008 18:25:37 +0000 (18:25 +0000)]
YapTab: support for early completion

11 years agouser:goal_expand should be called before import
Vitor Santos Costa [Thu, 15 May 2008 13:41:45 +0000 (13:41 +0000)]
user:goal_expand should be called before import
add extra apply_macros and apply stuff; fix unexisting definitions.
add forall/2 and ignore/1 to system stuff.

11 years agofix -(2<<100).
Vitor Santos Costa [Tue, 13 May 2008 10:37:27 +0000 (10:37 +0000)]
fix -(2<<100).

11 years agofix previous fixes
Vitor Santos Costa [Mon, 12 May 2008 22:31:37 +0000 (22:31 +0000)]
fix previous fixes

11 years agoupdates to restore
Vitor Santos Costa [Mon, 12 May 2008 14:04:23 +0000 (14:04 +0000)]
updates to restore

11 years agofix threads and LU
Vitor Santos Costa [Sat, 10 May 2008 23:24:11 +0000 (23:24 +0000)]
fix threads and LU

11 years agoTries module: when loading a trie from a file, we now check if the file is corrupted...
Ricardo Rocha [Wed, 7 May 2008 14:21:39 +0000 (14:21 +0000)]
Tries module: when loading a trie from a file, we now check if the file is corrupted before starting loading.

11 years agoadded heuristics for elimination orderings:
Fabrizio Riguzzi [Tue, 29 Apr 2008 22:24:30 +0000 (22:24 +0000)]
added heuristics for elimination orderings:
minimum deficiency
maximum cardinality

11 years agofix CR in read_line_to_codes
Vitor Santos Costa [Tue, 15 Apr 2008 11:08:10 +0000 (11:08 +0000)]
fix CR in read_line_to_codes

11 years agopartial fix to predicate_property trouble (obs from Nicos).
Vitor Santos Costa [Mon, 14 Apr 2008 17:30:18 +0000 (17:30 +0000)]
partial fix to predicate_property trouble (obs from Nicos).
fix core dump when writing arrays without bignum support.

11 years ago*** empty log message ***
Ricardo Rocha [Fri, 11 Apr 2008 16:26:18 +0000 (16:26 +0000)]
*** empty log message ***

11 years agofix some overflows in integer handling and ~r option.
Vitor Santos Costa [Thu, 3 Apr 2008 22:27:29 +0000 (22:27 +0000)]
fix some overflows in integer handling and ~r option.

11 years agoprotect signal handling with locks for threaded version.
Vitor Santos Costa [Thu, 3 Apr 2008 13:26:38 +0000 (13:26 +0000)]
protect signal handling with locks for threaded version.
fix close/1 entry in manual (obs from Nicos).
fix -f option in chr Makefile.

11 years agoseparate MAX_WORKERS and MAX_THREADS (obs from Paulo Moura)
Vitor Santos Costa [Wed, 2 Apr 2008 15:41:46 +0000 (15:41 +0000)]
separate MAX_WORKERS and MAX_THREADS (obs from Paulo Moura)
MAX_AGENTS can be used in all cases

11 years agoput YAPOR back to life.
Vitor Santos Costa [Tue, 1 Apr 2008 22:28:41 +0000 (22:28 +0000)]
put YAPOR back to life.

11 years agomore swi-console
Vitor Santos Costa [Tue, 1 Apr 2008 08:52:50 +0000 (08:52 +0000)]
more swi-console

11 years agomore SWI-console files
Vitor Santos Costa [Tue, 1 Apr 2008 08:50:44 +0000 (08:50 +0000)]
more SWI-console files

11 years agoSWI console
Vitor Santos Costa [Tue, 1 Apr 2008 08:45:42 +0000 (08:45 +0000)]
SWI console

11 years agofix restore and small VISTA thingies
Vitor Santos Costa [Tue, 1 Apr 2008 08:42:45 +0000 (08:42 +0000)]
fix restore and small VISTA thingies

11 years agomore fixes
Vitor Santos Costa [Mon, 31 Mar 2008 22:56:21 +0000 (22:56 +0000)]
more fixes

11 years agorl_tree library
Vitor Santos Costa [Thu, 27 Mar 2008 14:59:29 +0000 (14:59 +0000)]
rl_tree library

11 years agoimprove WIN32 support and installation
Vitor Santos Costa [Thu, 27 Mar 2008 00:41:32 +0000 (00:41 +0000)]
improve WIN32 support and installation

11 years agoRL-Trees module.
Nuno Fonseca [Wed, 26 Mar 2008 23:05:22 +0000 (23:05 +0000)]
RL-Trees module.

11 years agofix thread_dettach
Vitor Santos Costa [Wed, 26 Mar 2008 14:41:44 +0000 (14:41 +0000)]
fix thread_dettach

11 years agomore icc fixes
Vitor Santos Costa [Wed, 26 Mar 2008 14:37:07 +0000 (14:37 +0000)]
more icc fixes

11 years agofix some icc warnings
Vitor Santos Costa [Tue, 25 Mar 2008 22:03:13 +0000 (22:03 +0000)]
fix some icc warnings

11 years agomake or-parallelism compile again
Vitor Santos Costa [Tue, 25 Mar 2008 16:45:53 +0000 (16:45 +0000)]
make or-parallelism compile again

11 years agoregexp core-dump (obs from Ryszard Szopa)
Vitor Santos Costa [Tue, 25 Mar 2008 11:54:08 +0000 (11:54 +0000)]
regexp core-dump (obs from Ryszard Szopa)

11 years agofix maximum number of threads open error
Vitor Santos Costa [Mon, 24 Mar 2008 23:48:47 +0000 (23:48 +0000)]
fix maximum number of threads open error

11 years agofix bug in all_calls
Vitor Santos Costa [Sat, 22 Mar 2008 23:35:00 +0000 (23:35 +0000)]
fix bug in all_calls

11 years agofix unnecessary exception.
Vitor Santos Costa [Sat, 22 Mar 2008 11:38:05 +0000 (11:38 +0000)]
fix unnecessary exception.

11 years agofix breakage in module system
Vitor Santos Costa [Mon, 17 Mar 2008 18:31:16 +0000 (18:31 +0000)]
fix breakage in module system
disable stack writing in error for now

11 years agooops
Vitor Santos Costa [Mon, 17 Mar 2008 12:11:56 +0000 (12:11 +0000)]
oops

11 years agoavoid silly message
Vitor Santos Costa [Mon, 17 Mar 2008 12:08:28 +0000 (12:08 +0000)]
avoid silly message

11 years agofix flags
Vitor Santos Costa [Sat, 15 Mar 2008 12:19:33 +0000 (12:19 +0000)]
fix flags

11 years agochr updates
Vitor Santos Costa [Thu, 13 Mar 2008 22:37:07 +0000 (22:37 +0000)]
chr updates

11 years ago-q flag
Vitor Santos Costa [Thu, 13 Mar 2008 18:41:50 +0000 (18:41 +0000)]
-q flag

11 years agoAdded wkb support to MYDDAS
davidvaz [Thu, 13 Mar 2008 18:31:05 +0000 (18:31 +0000)]
Added wkb support to MYDDAS

11 years agofix exists/1
Vitor Santos Costa [Thu, 13 Mar 2008 18:03:57 +0000 (18:03 +0000)]
fix exists/1