diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
2,205 Commits 2 Branches 6 Tags 146 MiB
2a0d6480c9
Commit Graph

2205 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
rzf
2b1e2fd92b fied bug in conditional queries 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2223 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-04-30 13:14:51 +00:00
rzf
df30934ea9 added heuristics for elimination orderings: 
minimum deficiency
maximum cardinality


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2222 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-04-29 22:24:30 +00:00
vsc
f1d5e84918 fix bug in current_predicate/2 
fix bug in c_interface.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2221 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-04-28 23:02:32 +00:00
vsc
89bdffe91e make static_clause only commit to a lause if it is sure that is the true 
clause. Otherwise, search for the clause.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2220 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-04-16 17:16:47 +00:00
vsc
d8488ec48e fix CR in read_line_to_codes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2219 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-04-15 11:08:10 +00:00
vsc
3edc72b4c1 fixed a bug in static_clause (thanks to Jose Santos) 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2218 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-04-14 21:20:36 +00:00
vsc
3c3d0de2de partial fix to predicate_property trouble (obs from Nicos). 
fix core dump when writing arrays without bignum support.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2217 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-04-14 17:30:18 +00:00
ricroc
4677a5ba10 yapor: seq_def initialization 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2216 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-04-11 16:58:17 +00:00
ricroc
ddcd80d2a9 *** empty log message *** 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2215 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-04-11 16:30:28 +00:00
vsc
516a349aad only evaluate lists with a single character. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2214 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-04-08 15:36:53 +00:00
vsc
12e18227bb more small fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2213 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-04-06 12:06:48 +00:00
vsc
0c4388a66b fix some restore bugs 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2212 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-04-06 11:53:02 +00:00
pmoura
819ef79f4a Fixed some minor formatting typos. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2211 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-04-04 22:05:34 +00:00
vsc
6da72b2c9f yapor had gotten broken with recent thread changes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2210 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-04-04 16:11:40 +00:00