Commit Graph

5335 Commits

Author SHA1 Message Date
Vítor Santos Costa
6ed7736c28 C implementation of numbervars 2011-11-03 07:44:08 +09:00
Vítor Santos Costa
02e39ee78a beautify code. 2011-11-02 21:21:28 +09:00
Ubuntu32
29dc250a66 fix big int indexing 2011-11-01 17:25:59 -07:00
fabrizio
016cd42226 no copy of learning algorithms subdirectories 2011-10-31 14:26:18 +01:00
Vítor Santos Costa
1769fc7313 bprolog support 2011-10-27 12:38:22 +02:00
Vítor Santos Costa
20a1362bf8 bprolog support 2011-10-27 12:38:11 +02:00
Vítor Santos Costa
fa9d8008a4 bug fixes. 2011-10-27 12:37:41 +02:00
Vítor Santos Costa
0ea25a8908 bprolog support 2011-10-27 12:37:26 +02:00
Vítor Santos Costa
1ddd61314c support for X^[A,B] and X^length in arithmetic expressions. 2011-10-27 12:36:48 +02:00
Vítor Santos Costa
1cc3280fea Yap_unifiable 2011-10-27 12:36:03 +02:00
Vítor Santos Costa
8785108e66 Yap_unifiable and TagOfTerm 2011-10-27 12:35:40 +02:00
Vítor Santos Costa
980c79359f Yap_unifiable and YAP_Unifiable. 2011-10-27 12:35:07 +02:00
Vítor Santos Costa
c57fbf40e6 extend support for hash tables. 2011-10-24 22:49:42 +01:00
Vítor Santos Costa
73dd81478f B-Prolog suppoty. 2011-10-24 22:47:42 +01:00
Vítor Santos Costa
384ddd84ad extend interface with IsTermNIl() 2011-10-24 22:46:16 +01:00
Vítor Santos Costa
f6cc9578ae first cut at emulation for BP C-interface. 2011-10-24 22:44:41 +01:00
Vítor Santos Costa
22b0bcac14 mode directed tabling. 2011-10-22 16:49:13 +01:00
Fabrizio Riguzzi
be449b3aef updated cplint 2011-10-22 16:33:04 +02:00
Vítor Santos Costa
48bfaa1ce1 move to 6.3.1 2011-10-22 10:25:04 +01:00
Vítor Santos Costa
11252cd061 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-10-22 10:22:44 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
90f8be5f0b fix compilation of plyap and install. 2011-10-22 00:38:07 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
067ff9828d windows Makefile. 2011-10-22 00:19:48 +01:00
Vítor Santos Costa
5d0eed5eb1 make sure SWI atom constants are typed as atom_t 2011-10-21 23:06:17 +01:00
Vítor Santos Costa
8d4c9160eb add compile_predicates/1. 2011-10-21 23:02:07 +01:00
Vítor Santos Costa
c052b195e5 fix interface dependencies. 2011-10-21 22:06:13 +01:00
Vítor Santos Costa
df05859cb4 fix maximum limit for expanding area. 2011-10-21 22:05:28 +01:00
Vítor Santos Costa
5cd157147f fix CurrentTrailTop 2011-10-21 22:04:58 +01:00
Vítor Santos Costa
5735b08793 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-10-21 19:15:54 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
d173af8d2d fix 2011-10-21 19:14:04 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
9a731118d3 fix changes in paths. 2011-10-21 19:12:40 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
f7f90d5f5c fix conflict with WIN library 2011-10-21 19:12:21 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
aa55e73002 get back prompt without readline. 2011-10-21 19:11:52 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
e3847eff38 optimise straight line code. 2011-10-21 19:11:25 +01:00
Vítor Santos Costa
1f4108b0af fix bad init of prompt. 2011-10-20 22:25:07 +01:00
Vitor Santos Costa
565407926d compilation fixes. 2011-10-13 16:47:02 +01:00
Vitor Santos Costa
72afe868ec allow access to argc and argv in the c-interface. 2011-10-13 16:46:39 +01:00
Vitor Santos Costa
98cc029b66 fix warning. 2011-10-13 16:46:29 +01:00
Vítor Santos Costa
d4ea15811e fix yapor bootstrap. 2011-10-13 15:04:16 +01:00
Vitor Santos Costa
8ff513b58a fix thor to back up to intermediate node. 2011-10-12 23:51:12 +01:00
Vitor Santos Costa
a2a554f17f improve debugger error reporting. 2011-10-12 23:50:49 +01:00
Vitor Santos Costa
185495c0ad Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-10-04 10:44:12 +01:00
Vítor Santos Costa
df6c0b59e9 jump guessing 2011-10-04 06:42:01 -03:00
Vítor Santos Costa
a08d31a161 ytell compiler about some test outcomes. 2011-10-03 15:30:08 -03:00
Vítor Santos Costa
ff67abc937 fix prefetching 2011-10-03 15:29:57 -03:00
Vítor Santos Costa
139f64a459 fix compilation for OSX 2011-10-03 15:29:36 -03:00
Vítor Santos Costa
43c07f5051 more speed stuff. 2011-10-02 21:01:14 -03:00
Vítor Santos Costa
66ae65fe09 small look at compilation. 2011-10-02 19:55:22 -03:00
Vítor Santos Costa
c8061d46d6 fix length/2. 2011-10-02 19:55:12 -03:00
Vítor Santos Costa
5e0c4b923d improve support for R 2011-10-02 19:54:20 -03:00
Vítor Santos Costa
36d20477fb small fixes to avoid using global reg. 2011-10-02 16:18:09 -03:00