vsc
d5a459bb08
logical update semantics:
...
instance of erased element should fail;
garbage collection now tries to recover space for code.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@512 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-06-04 00:46:32 +00:00
vsc
c5e66af5d1
some fixes in info
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@507 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-06-01 04:29:01 +00:00
vsc
1ec4c2acaf
fix debugger messages
...
debug imported mnodules
fix yap2swi in win32
fixes for solaris
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@505 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-06-01 01:46:06 +00:00
vsc
c9be907884
fix bug in wakeup when in the middle of unifying a list (found by Bart Demoen).
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@486 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-05-24 00:13:15 +00:00
vsc
a5638757d3
unify might bound a multi-assignment variable?\027?\024
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@480 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-05-21 04:18:15 +00:00
vsc
86e4a99d73
changes to support extended foreign interface (include slots, new exception
...
handling for C-code, and several fixes to calling foreign code).
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@470 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-05-14 18:24:34 +00:00
vsc
778dbbde3e
fix anon vars in new syntax_error
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@452 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-04-23 22:43:10 +00:00
vsc
ec120bccac
document configure options a bit more
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@431 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-04-06 04:23:37 +00:00
vsc
6f051a5025
fix arrays of generic terms.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@422 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-03-27 20:53:58 +00:00
vsc
521fe00a2d
predicate_property(P,source).
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@419 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-03-17 06:05:21 +00:00
vsc
889e39aa71
more fixes to make Yap DLLs work with cygwin
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@409 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-03-12 06:35:11 +00:00
vsc
798bdbdf39
be more careful about error handling when storing DB terms
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@399 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-03-07 05:13: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
293fdf9061
VC++ changes
...
use clock in WIN98
fix manual
get rid of ISO X/0
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@347 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-02-04 16:12:54 +00:00
vsc
f255ec7532
yap_flag(gc_trace,very_verbose).
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@333 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-01-28 04:30:40 +00:00
vsc
fd41875446
yap_flag(argv,L).
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@332 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-01-27 22:05:35 +00:00
vsc
601a7d2480
reachable/3
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@330 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-01-27 21:35:39 +00:00
vsc
d04be23513
typo
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@326 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-01-23 15:19:40 +00:00
vsc
22bda6745d
fix warnings in documentation
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@325 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-01-23 15:17:56 +00:00
vsc
893eff6392
yap_flag(informational_messages,_)
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@324 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-01-23 14:23:19 +00:00
vsc
4414acbdf9
fix unix environ
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@293 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-01-14 22:26:53 +00:00
stasinos
c22e78cc6e
signal handling documention
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@291 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-01-11 16:53:57 +00:00
stasinos
ea45ad8f3d
nitpicking
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@283 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-01-09 17:23:18 +00:00
vsc
fcbf07a251
fix library heap
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@280 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-01-08 03:47:18 +00:00
vsc
821af0b738
get rid of silly compilation messages in CLPQR
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@271 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-01-05 04:37:47 +00:00
vsc
441ad190ff
fix absolute_file_name
...
put intermediate data structures for system in TR
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@249 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-01-02 05:35:20 +00:00
vsc
2b72b6f71b
make < debugger option work again
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@248 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-01-02 03:54:15 +00:00
vsc
6a34f51a25
fix copy_term between constraints
...
change visiited stack in unify to AuxSp because H can be changed
by woken goals
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@221 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-12-11 03:34:03 +00:00
vsc
10394c4c99
fix number_ operations to handle number_*(2,[L]).
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@189 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-11-19 23:19:23 +00:00
vsc
9236415849
documment alarm/3 a bit better
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@159 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-09-19 19:15:04 +00:00
vsc
8404e8eaff
fix SICStus compatibility bugs in sockets
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@145 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-09-03 16:05:59 +00:00
vsc
94271789ef
fix nth and nth0 to accept unbound first argument.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@144 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-08-27 15:27:29 +00:00
vsc
5d5ddd864e
avoid unnecessary flushing in readline
...
fixes to manual
make flush work for readline
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@140 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-08-13 09:19:00 +00:00
vsc
5384e3b4d7
Erick Alphonse's Eclipse style apply macro library
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@138 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-08-09 18:00:45 +00:00
vsc
8fd1bc92f3
support trace
...
fix for ^c in readline
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@133 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-08-08 21:17:27 +00:00
stasinos
5d57058e8e
makeinfo warnings fixed
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@132 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-07-20 09:35:33 +00:00
stasinos
32a0e2c3c7
typoes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@131 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-07-18 14:51:10 +00:00
vsc
695a872254
update to Yap-4.3.20
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@130 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-07-17 18:58:17 +00:00
vsc
95e5c0c670
Fix spec file
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@129 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-07-17 18:52:34 +00:00
vsc
f814149df1
fix entry for exec/3.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@121 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-07-10 20:04:42 +00:00
vsc
54185708f9
fix documentation for system library
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@112 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-06-29 12:45:54 +00:00
vsc
b4a30d2cd4
extra improvements in configure scripts
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@98 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-06-22 19:44:26 +00:00
vsc
157bce4a13
fix duplicated title (Paulo Moura)
...
fix info on term ordering to respect ISO standard.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@94 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-06-19 17:47:45 +00:00
stasinos
8148b93679
a few typos corrected
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@82 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-06-12 14:07:59 +00:00
vsc
90c92979c6
change library(random) to use O'Keefe code.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@80 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-06-11 20:20:36 +00:00
vsc
95a113aac9
trail_ref cleanup
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@64 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-06-08 14:52:54 +00:00
vsc
68820cc370
sys changes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@60 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-06-07 17:54:29 +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
593f7ee64f
small bug fixes and documentation for extra C-functions.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@42 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-05-24 15:26:41 +00:00