82d9ed1521
upgrade to 5.1.4
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2282 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-18 10:02:27 +00:00
c808b52451
make DOS compatible
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2281 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-17 21:21:35 +00:00
6da7cb9569
fix missing decl
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2280 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-17 21:04:27 +00:00
39c4a2e67f
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.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2278 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-17 13:37:51 +00:00
e90f744e5e
fix stack growth in globals
...
fix compilation messages
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2277 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-16 21:22:15 +00:00
1340bc6f05
fix debugging message.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2276 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-13 14:10:27 +00:00
ac6ddd5005
fix syntax error messages
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2275 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-12 10:55:52 +00:00
8a00ab9d70
fix insert_new in rbtrees
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2274 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-11 16:57:31 +00:00
02565ae625
some nice extra predicatesy
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2273 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-11 11:08:25 +00:00
c1f9fc9bcf
added a new version of iterative deepening
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2272 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-09 17:57:30 +00:00
e835cfddc5
Added iterative deepening
...
Printing of Cudd information
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2271 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-08 18:11:41 +00:00
f26c4592bb
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,_)).
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2270 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-08 16:55:23 +00:00
502a5571a8
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,_)).
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2269 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-08 16:45:52 +00:00
6a2843f4e3
Logtalk is no longer distributed with YAP. Please use the Logtalk standalone installer for a smooth integration with YAP.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2268 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-08 09:55:34 +00:00
dccdcc7ada
Logtalk is no longer distributed with YAP. Please use the Logtalk standalone installer for a smooth integration with YAP.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2267 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-08 09:48:36 +00:00
0ca51355ce
added memory profiling calls
...
removed limit to 1000 variables imposed by createVars beause of the use
of tha array of names of variables
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2266 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-08 08:38:36 +00:00
87fcf6233c
put chr back to life
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2265 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-08 08:05:11 +00:00
ea139a37c6
Logtalk is no longer distributed with YAP. Please use the Logtalk standalone installer for a smooth integration with YAP.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2264 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-07 10:11:44 +00:00
39e72437b0
extra fixes to list_to_rbtree
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2263 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-05 22:12:22 +00:00
a3272bb0f9
*** empty log message ***
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2262 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-05 19:33:51 +00:00
e26d72905e
fix trim_trail on 64 bit machines and non x86
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2261 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-05 18:29:52 +00:00
5d49f14545
fix rbtrees built from ordered lists
...
fix jt
be more flexible about unbound parents
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2260 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-05 16:24:08 +00:00
2a0d6480c9
oops
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2259 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-04 15:42:45 +00:00
175a0ba6dd
make sure we do trim_trail whenever we mess with B!
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2258 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-04 14:47:18 +00:00
08422c967a
more fixes to C-interface
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2257 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-04 13:58:42 +00:00
f868298acf
fix some cleanups
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2256 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-03 22:43:14 +00:00
2335cd57a1
added timing predicates
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2255 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-03 12:27:55 +00:00
aa92d9628d
fix fixes to prandom
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2254 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-03 09:27:57 +00:00
02497c1172
fix manual and message handling
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2253 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-03 09:24:28 +00:00
8e6403794f
fix abolish bug
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2252 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-02 17:20:28 +00:00
ade7b34d49
thread fixes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2251 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-28 17:18:35 +00:00
f6160fd5d6
update README
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2250 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-28 11:55:35 +00:00
abbf5430dc
keep current_stream across top-level.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2249 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-26 09:16:24 +00:00
0c006711ba
fix cygiwn version
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2248 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-23 22:29:52 +00:00
214644aed4
fix null pointer reference
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2247 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-23 21:06:44 +00:00
501e3d7c30
YapTab: support for early completion
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2246 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-23 18:28:58 +00:00
fbc1f5e4a9
fix sys.c for win32
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2245 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-23 13:16:13 +00:00
5974495e87
Latest from Markus!
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2244 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-23 10:43:27 +00:00
6fbe60046b
fix rb_insert and add Jan's comments.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2243 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-23 10:42:14 +00:00
7c24afa0f2
handle SIGPIPE and improve USR1 and USR2
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2242 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-23 10:02:13 +00:00
a70fb91592
add tmp_file/2
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2241 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-22 23:25:21 +00:00
73cf1fbafa
fix predicate_property/2
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2240 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-22 21:48:04 +00:00
9a841991ea
YapTab: support for early completion
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2239 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-20 18:25:37 +00:00
511181b472
debugging fixes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2238 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-15 18:31:02 +00:00
316811d2cd
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.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2237 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-15 13:41:48 +00:00
a25234a2da
fix -(2<<100).
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2236 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-13 10:37:27 +00:00
897224b36e
fix previous fixes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2235 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-12 22:31:37 +00:00
f4173813ff
updates to restore
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2234 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-12 14:04:23 +00:00
257c3a2cbc
fix threads and LU
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2233 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-10 23:24:13 +00:00
ed339dcb12
Tries module: when loading a trie from a file, we now check if the file is corrupted before starting loading.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2232 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-07 14:21:39 +00:00
vsc
rzf
pmoura
ricroc