diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
8,669 Commits 2 Branches 6 Tags
7a24d3015ef8af10f8d499684347cdadbbfc005c
Commit Graph

8669 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
vsc
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
rzf
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
rzf
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
pmoura
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
pmoura
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
pmoura
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
pmoura
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
rzf
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
vsc
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
pmoura
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
vsc
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
rzf
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
vsc
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
vsc
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
vsc
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
vsc
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
vsc
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
vsc
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
rzf
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
vsc
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
vsc
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
vsc
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
vsc
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
vsc
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
vsc
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
vsc
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
vsc
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
ricroc
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
vsc
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
vsc
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
vsc
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
vsc
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
vsc
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
vsc
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
ricroc
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
vsc
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
vsc
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
vsc
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
vsc
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
vsc
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
vsc
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
ricroc
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
ricroc
da7a287e49 YapTab: init_subgoal_frame() 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2231 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-05-05 17:17:35 +00:00
ricroc
508c48d385 YapTab: load_answer_trie() 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2230 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-05-05 17:09:37 +00:00
rzf
d7d47326a5 measuring time 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2229 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-05-02 14:21:00 +00:00
rzf
45a05e9206 fixed predicates for measuring time 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2228 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-05-02 06:22:23 +00:00
rzf
5575cdbd4f fixed degererated cond queries 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2227 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-05-01 09:41:26 +00:00
rzf
111d8c4eee removed debugging predicate matrix_to_list 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2226 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-04-30 18:06:46 +00:00
rzf
16592e35cc answers 1.0 to a conditional query with evidence equal to the query 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2225 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-04-30 17:57:21 +00:00
rzf
62faa60978 removed bug in conditinal queries 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2224 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-04-30 14:10:27 +00:00