Commit Graph

175 Commits

Author SHA1 Message Date
vsc
17d16e0b14 Big update to support more SICStus/SWI like message handling
fix YAPSHAREDIR
fix yap.tex (Bernd)


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2107 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-22 15:08:37 +00:00
vsc
af0fb4f4d9 SWI-portability changes
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2088 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-12 17:03:59 +00:00
vsc
817663588d get rid of debugging messages
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2057 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-01-23 22:22:42 +00:00
vsc
637f381d94 valgrind it!
enable atom garbage collection.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2055 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-01-23 17:57:56 +00:00
vsc
3beda27d14 fixes to support threads and assert correctly, even if inefficiently.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2030 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-26 23:43:10 +00:00
vsc
bb9d163040 compilation_mode option for load_files
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1980 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-08 11:22:05 +00:00
vsc
a5f5f4c237 compile ground terms away.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1975 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-06 17:02:13 +00:00
vsc
ff4aa369be allow conditional compilation
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1965 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-10-21 08:48:06 +00:00
vsc
6cc9e24976 upgrade chr
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1957 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-10-16 23:17:04 +00:00
vsc
5df974b857 some more fixes to make YAP swi compatible
fix absolute_file_name (again)
fix setarg


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1951 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-10-10 09:44:28 +00:00
vsc
f35f5b9253 absolute_file_name/2 should succeed even if file does not exist.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1941 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-09-28 22:59:11 +00:00
vsc
109b2a586f fix directory handling?
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1939 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-09-28 09:53:42 +00:00
vsc
65f093bdb7 encoding/1
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1938 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-09-27 23:02:00 +00:00
vsc
c1917517cb fix absolute_file_name
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1937 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-09-27 22:40:22 +00:00
vsc
31ff28d3ee upgrade JPL
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1936 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-09-27 15:25:34 +00:00
vsc
35174e0901 fix some encoding stuff and add some documentation.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1863 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-04-03 15:03:11 +00:00
vsc
e10bb2a6ae fix prolog_flags for chr.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1802 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-02-26 10:41:40 +00:00
vsc
b3d9e88802 Fix typos across code
Change debugger to backtrack more alike byrd model
Fix typo in debugger option f


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1782 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-01-24 14:20:04 +00:00
vsc
90c1641841 several debugger and CLP(BN) improvements.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1732 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-12-13 16:10:26 +00:00
vsc
0705ca0640 support for UNICODE, and other bug fixes.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1725 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-11-27 17:42:03 +00:00
vsc
d9029c6c56 fix library_directory
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1723 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-11-18 01:40:42 +00:00
vsc
cd5bc14cfc win32 fixes
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1689 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-08-30 01:06:30 +00:00
vsc
30318bb60d Lots of fixes (check logfile for details
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1585 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-04-05 00:16:55 +00:00
vsc
b8e524424c fix MacOSX interrupt handling
fix using Yap files as Yap scripts.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1555 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-03 23:11:30 +00:00
vsc
703d948559 fix informational_messages
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1551 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-02-24 14:26:37 +00:00
vsc
2de3fd9474 fix trouble with tkyap (Kerri Harris)
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1548 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-02-20 13:18:08 +00:00
vsc
919c1946f3 style check should always use true file name
pipe open was returning output descriptor twice.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1545 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-02-17 15:56:36 +00:00
vsc
b52c6d333e fix bad handling of undef warning
fix exporting module in use_module([_|_],_).


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1480 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-12-18 17:12:33 +00:00
vsc
681717eecb cleanups in OS interface predicates.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1469 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-11-23 13:24:00 +00:00
vsc
1fa46c6051 sveral updates
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1415 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-28 17:38:50 +00:00
vsc
3c1dbc22df fix ensure_loaded typo.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1407 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-19 23:16:49 +00:00
vsc
31a09376f8 use_load_files to handle initialization files
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1404 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-19 10:12:50 +00:00
vsc
8b06ce9fe4 make consult even load_files/2
define bootstrap/1 for initial consult


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1403 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-19 01:47:43 +00:00
vsc
e6a15addf5 5.1:
- improvements to GC
   2 generations
   generic speedups
- new scheme for attvars
   - hProlog like interface also supported
- SWI compatibility layer
   - extra predicates
   - global variables
   - moved to Prolog module
- CLP(R) by Leslie De Koninck, Tom Schrijvers, Cristian Holzbaur, Bart
Demoen and Jan Wielemacker
- load_files/2

from 5.0.1

- WIN32 missing include files (untested)
- -L trouble (my thanks to Takeyuchi Shiramoto-san)!
- debugging of backtrable user-C preds would core dump.
- redeclaring a C-predicate as Prolog core dumps.
- badly protected  YapInterface.h.
- break/0 was failing at exit.
- YAP_cut_fail and YAP_cut_succeed were different from manual.
- tracing through data-bases could core dump.
- cut could break on very large computations.
- first pass at BigNum issues (reported by Roberto).
- debugger could get go awol after fail port.
- weird message on wrong debugger option.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1402 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-18 17:04:43 +00:00
vsc
668a3dce2b try to improve error handling and warnings from within consults.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1280 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-04-20 20:06:26 +00:00
vsc
52a46e5c5d fix mess with add clause
improves on sigsegv handling


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1239 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-02-08 04:05:39 +00:00
vsc
6853d8eecd don't ever use memory that has been freed (that was done by LU).
generic fixes for WIN32 libraries


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1172 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-11-04 18:22:36 +00:00
vsc
91d385147e ensure_loaded would never again reconsult a file, even if the file
had been changed meanwhile.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1170 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-11-01 15:54:01 +00:00
vsc
ac2a3b01af change configure to support big mem configs
get rid of extra globals
fix trouble with multifile preds


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1155 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-10-06 16:55:48 +00:00
vsc
8eb1d2f7b9 fix overflow from within clause/2
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1149 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-09-30 19:51:54 +00:00
vsc
e0c42788c7 fix bad calls to consult/reconsult
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@983 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-02-12 18:23:29 +00:00
vsc
31b6bedf67 modules stuff fixes (yes, again).
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@975 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-02-10 01:07:46 +00:00
vsc
9b84cdfe5d improved support for threads and code area allocation using malloc
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@965 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-02-05 16:57:02 +00:00
vsc
4c264a968a new scheme for flags.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@949 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2003-12-04 18:13:04 +00:00
vsc
d6207a55f9 fix ensure_loaded to reload if called from a different module.
fix error handling in dbase.c


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@939 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2003-11-29 23:41:28 +00:00
vsc
90829edc9e new infrastructure for static clauses:
they are now valid references
  they don't have the try_me block
jump_on_var now uses expand


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@936 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2003-11-26 18:36:35 +00:00
vsc
0170202a86 fix a leftover $record
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@879 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2003-09-26 14:58:29 +00:00
vsc
17ecf0dc14 continue big commit
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@863 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2003-08-27 13:37:10 +00:00
vsc
6bb873d03e more meta-call fixes
fix module expansion for builtins
fix path predicates.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@758 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2003-02-07 12:05:39 +00:00
vsc
35f1d9cf63 initialization predicates should execute in consulted module.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@692 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-11-19 14:43:17 +00:00
vsc
4326a07f2e make compile module aware.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@670 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-10-31 19:27:13 +00:00
vsc
95e6dea185 respect prefix option in WIN32
check for rint in configure and use
a simple hack to replace it if needed.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@650 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-10-23 17:10:33 +00:00
vsc
21aab28a59 new error handlong mechanism
new YAP_ foreign interface
fix unbound_first_arg in call_with_args


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@582 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-09-09 17:40:12 +00:00
vsc
38f07b67de take care of the case where two files have different names but
are the same (at least for Unix/Linux).
recover $loaded space after initialisation.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@488 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-05-24 03:57:20 +00:00
vsc
87532119c6 fix reconsult at boot.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@362 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-02-14 19:36:12 +00:00
vsc
777817f8db fixes for signal handling
throw permission error on consulting bad files


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@358 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-02-12 18:24:21 +00:00
vsc
1f5af38ba8 file_search_path
host_type


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@351 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-02-08 22:19:24 +00:00
vsc
6b29480d4a fix scripts
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@348 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-02-06 17:35:26 +00:00
vsc
fe63bae633 fix new consult code
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@319 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-01-22 19:29:28 +00:00
vsc
93a41f0ef5 make consult messages more SICStus like.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@318 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-01-22 17:11:36 +00:00
vsc
6deb31e058 get rid of debugging info
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@288 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-01-10 23:42:09 +00:00
vsc
5997e5a109 new catch and throw mechanism (first try).
hide built-in predicates that should not be seen in trace mode


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@275 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-01-07 06:28:04 +00:00
vsc
45a0bc7aef fix ; -> and ! in meta-call (again)
fix peek and read


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@207 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-11-29 20:29:52 +00:00
vsc
b5882844b8 fix [a:file] and friends.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@192 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-11-23 13:04:17 +00:00
vsc
5ab74e898a small fixes for error handling
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@185 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-11-19 03:36:51 +00:00
vsc
b289d9ac9c new module system. BEWARE! BEWARE! BEWARE!
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@177 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-11-15 00:01:43 +00:00
vsc
418fb0680a fix locking for YapOr
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@173 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-10-30 22:13:18 +00:00
vsc
458a0a857f New metacall mechanism
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@169 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-10-30 16:42:05 +00:00
vsc
3e6060a84f use ~d to write time spent consulting
replace write/2 and write/1 by direct accesses to low-level routines


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@124 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-07-12 12:50:58 +00:00
vsc
6e241c6c8b new statistics.
better precision when writing floats.
use_module should check file modificiation time.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@118 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-07-05 20:23:21 +00:00
vsc
38247e38fc cleanup of CLPQR and CHR;
simplification of module handling;
new timestamp implementation


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@52 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-06-06 19:10:51 +00:00
vsc
769ea0cfcc fix extra backtracking in consult and friends.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@48 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-05-29 17:15:18 +00:00
vsc
82438c1d6f fixes in modules
system support for WIN32 (first try).
small fixes.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@45 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-05-28 19:54:53 +00:00
vsc
f80b0b1d32 few extra good built-ins.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@11 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-04-19 17:12:18 +00:00
vsc
e5f4633c39 This commit was generated by cvs2svn to compensate for changes in r4,
which included commits to RCS files with non-trunk default branches.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@5 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-04-09 19:54:03 +00:00