Commit Graph

6276 Commits

Author SHA1 Message Date
Vitor Santos Costa
9e63e83f1f worker_id may not be initialised if we start from C-level. 2012-12-10 12:13:31 +00:00
Vitor Santos Costa
62aa6df644 fix bad register initialization. 2012-12-10 12:12:54 +00:00
Tiago Gomes
9c8827c309 always copy clauses for backup 2012-12-09 22:57:39 +00:00
Tiago Gomes
90736156ae some clean ups 2012-12-09 22:13:58 +00:00
Tiago Gomes
e46d2177b7 rework a bit the test infrastructure for lkc 2012-12-09 22:04:33 +00:00
Tiago Gomes
907144db32 don't use a stack for atom counting operator 2012-12-09 19:46:14 +00:00
Tiago Gomes
57a31c2c36 fix showing the weights on edge labels when there is a SetOrNode ancestor 2012-12-09 17:33:36 +00:00
Tiago Gomes
59f653aabd move implementation of copyClauses to another file 2012-12-08 19:32:19 +00:00
Tiago Gomes
4edbcf86b8 Use pointers to refer to clauses for better performance 2012-12-08 19:17:19 +00:00
Vitor Santos Costa
ac62053c85 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-12-08 10:54:08 +00:00
Vítor Santos Costa
354dbbf802 follow pldoc 2012-12-08 10:52:39 +00:00
Vitor Santos Costa
e05ee9670c unify indexing of dynamic and static clauses 2012-12-07 23:43:14 +00:00
Vitor Santos Costa
f0b44b9b77 fix bad indexing (obs from Jos) 2012-12-07 23:43:00 +00:00
Tiago Gomes
73b3594c97 lifted kc: when not debuging don't keep track of the origin clauses 2012-12-07 11:47:50 +00:00
Vitor Santos Costa
b98b09e7de improve utf-8 2012-12-07 08:10:21 +00:00
Vitor Santos Costa
556937195d avoid meta-call in system; improve goal/pred expansion 2012-12-07 08:08:32 +00:00
Vitor Santos Costa
7fe1f20200 indenting 2012-12-07 08:07:30 +00:00
Vitor Santos Costa
c52d7a182c fix memory leak in foreign code handling 2012-12-07 08:06:45 +00:00
Vitor Santos Costa
a813a13412 mysqldb interface vs Prolog 2012-12-04 14:49:29 +00:00
Vitor Santos Costa
36ae500118 fixes 2012-12-03 12:39:25 +00:00
Vítor Santos Costa
d9d954abe1 fix handling of methods and classes with named objects: just use PyObject_Call() 2012-12-02 13:19:10 +00:00
Vítor Santos Costa
2cbf3439ac introduce at_halt/1.
fix bug in naming variables in suspended goals.
2012-12-02 13:18:29 +00:00
Vitor Santos Costa
3c0e16030c imprive python interface 2012-12-01 14:28:25 +00:00
Tiago Gomes
ee1b7dcd21 abort when compilation failed 2012-11-27 16:54:02 +00:00
Vitor Santos Costa
683032432c more examples 2012-11-27 13:50:18 +00:00
Vítor Santos Costa
e529e79582 more progress 2012-11-27 12:10:41 +00:00
Vítor Santos Costa
6e3f01e0b3 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-11-27 08:38:41 +00:00
Vítor Santos Costa
3e2a1a9678 fix --enable-clpbn-bp flag 2012-11-27 08:37:53 +00:00
Vitor Santos Costa
f1874ecec0 inprove python interface. 2012-11-27 00:16:34 +00:00
Vitor Santos Costa
46cec46fa8 always accpet --enable-clpbn-bp 2012-11-26 16:20:36 +00:00
Tiago Gomes
610e55a4a2 Improve debbuging for lifted knowledge compilation 2012-11-26 14:46:45 +00:00
Tiago Gomes
1f1d194326 remove unnecessary std set 2012-11-26 14:46:00 +00:00
Tiago Gomes
a2429a1eec Merge branch 'master' of github.com:tacgomes/yap6.3 2012-11-26 11:48:24 +00:00
Vítor Santos Costa
095cd68cac prevent failure in listing X 2012-11-26 09:23:25 +00:00
Vítor Santos Costa
57ac65c83b new swi version. 2012-11-25 23:48:41 +00:00
Vítor Santos Costa
99dded628f document stash_predicate and fix to absolute_file_name 2012-11-25 23:38:14 +00:00
Vítor Santos Costa
e470dfcdc7 more python stuff. 2012-11-25 23:37:28 +00:00
Vítor Santos Costa
2607e59a16 add stash_predicate and fix hide_predicate. 2012-11-25 23:36:43 +00:00
Vítor Santos Costa
feb70d0146 fix absolute_file_name with empty arguments. 2012-11-25 23:35:59 +00:00
Vitor Santos Costa
d5b97ac15e quoting. 2012-11-24 12:23:00 +00:00
Tiago Gomes
e09c25bd59 remove grounding stub form lifted knowledge compilation. its hard to implement 2012-11-22 16:34:24 +00:00
Tiago Gomes
4afe6c8161 refactor horus_ground and horus_lifted 2012-11-22 16:33:22 +00:00
Tiago Gomes
992d06656d refactor horus_ground.yap 2012-11-22 15:54:30 +00:00
Vitor Santos Costa
027632456a Merge branch 'master' of https://github.com/tacgomes/yap6.3 2012-11-22 12:29:37 +00:00
Vitor Santos Costa
bb4d75f428 avoid messing up lifted solvers 2012-11-22 12:27:33 +00:00
Tiago Gomes
85db763d9c small improvement in HorusYap 2012-11-16 22:38:14 +00:00
Tiago Gomes
51eef45b2d refactor HorusYap 2012-11-16 17:10:04 +00:00
Tiago Gomes
59fd21bf33 use only 1 lifted solver instance 2012-11-16 16:50:19 +00:00
Tiago Gomes
c2791748d2 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-11-16 00:57:41 +00:00
Vitor Santos Costa
114a6732f0 add_factor should succeed if Constraints are satisfied 2012-11-15 17:28:57 +00:00