Commit Graph

296 Commits

Author SHA1 Message Date
Vítor Santos Costa
f8806bed9f explicitely link pthreads in clib. 2010-12-03 12:12:15 +00:00
Theofrastos Mantadelis
9ee83ddf6c problog examples fix 2010-12-02 15:04:42 +01:00
Theofrastos Mantadelis
f46000cd11 office fix 2010-12-02 15:02:49 +01:00
Theofrastos Mantadelis
df162a0ae6 Updating ProbLog and adding ADs 2010-12-02 14:55:15 +01:00
Theofrastos Mantadelis
b54517d419 Updating ProbLog and adding ADs 2010-12-02 14:54:47 +01:00
Theofrastos Mantadelis
d3cdc8d2b9 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2010-12-02 14:48:39 +01:00
Theofrastos Mantadelis
6ffa3eb06b ... 2010-12-02 14:48:28 +01:00
Vitor Santos Costa
cb1307ded7 hack to fix differences in SWI compatibility. 2010-11-30 22:33:12 +00:00
Theofrastos Mantadelis
611af95e43 added anottated disjunctions 2010-11-30 19:17:25 +01:00
Paulo Moura
e784d72c22 Fixed make clean bug for the tai package (reported by Roberto Bagnara). 2010-11-29 15:36:23 +00:00
Vitor Santos Costa
c47419ed03 better support for YAP portability. 2010-11-28 11:50:21 +00:00
Vitor Santos Costa
bd59f1e908 process needs maplist (obs from Nicos). 2010-11-24 08:42:26 +00:00
Theofrastos Mantadelis
bad796702d follow up for using user defined ground 2010-11-09 15:12:34 +01:00
Theofrastos Mantadelis
94d6c3cebd Added a user modifiable ground handler for ProbLog probabilistic facts 2010-11-09 02:51:24 +01:00
Theofrastos Mantadelis
0a5a1efd77 no comment 2010-11-03 19:34:16 +01:00
Theofrastos Mantadelis
8303b477ab these guys got forgotten 2010-11-03 19:30:43 +01:00
Theofrastos Mantadelis
24b21de2e7 ProbLog Makefile.in to include a new file please re-configure 2010-11-03 19:24:37 +01:00
Theofrastos Mantadelis
c804d105b6 Some ProbLog improvements related with tabling efficiency, more to come soon 2010-11-03 19:22:11 +01:00
Vitor Santos Costa
95acd408e7 support DragonFly BSD (patch from Aleksej Saushev) 2010-10-27 10:11:19 +01:00
Vitor Santos Costa
9304fd52f7 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-10-24 21:31:52 +02:00
Vitor Santos Costa
d5785152f8 more HAVE_CONFIG_H patches 2010-10-24 21:28:37 +02:00
Vitor Santos Costa
facebe43e4 doc fixes
64 bits should use /usr/lib64, not /usr/lib
2010-10-24 21:26:49 +02:00
Theofrastos Mantadelis
de06131ba4 bug correction 2010-10-20 17:41:13 +02:00
Theofrastos Mantadelis
284fc9ab8b corrected a small bug with export 2010-10-06 18:27:40 +02:00
Theofrastos Mantadelis
1342d2dab2 SimpleCUDD versioning 2010-10-06 13:24:25 +02:00
Theofrastos Mantadelis
d1839b730c ProbLog versioning, ProbLog Tabling warning message instead of error 2010-10-06 12:59:18 +02:00
Theofrastos Mantadelis
ff6bd1dda0 ProbLog Versioning System 2010-10-05 18:29:29 +02:00
Theofrastos Mantadelis
f2e3476a8e ProbLog Versioning System 2010-10-05 18:27:09 +02:00
Theofrastos Mantadelis
5323a3677d ProbLog Versioning System 2010-10-05 18:26:40 +02:00
Theofrastos Mantadelis
c1c02d1e95 Correcting some versioning issues 2010-10-01 12:04:45 +02:00
Theofrastos Mantadelis
69dbf72553 Various ProbLog improvements 2010-10-01 11:40:24 +02:00
Theofrastos Mantadelis
4359629681 ProblogBDD -> problogbdd 2010-09-29 18:43:48 +02:00
Theofrastos Mantadelis
d750a5d5a2 update in learning 2010-09-29 18:40:34 +02:00
Theofrastos Mantadelis
60df0028fb Migrated some minor improvements 2010-09-29 13:08:16 +02:00
Theofrastos Mantadelis
0cd5cec64b Portability issues 2010-09-28 21:22:32 +02:00
Paulo Moura
ce41ab9d33 Make some of the dependencies in library predicates explicit. 2010-09-26 03:31:29 +01:00
Paulo Moura
8e4bb51be0 Make some of the dependencies in library predicates explicit. 2010-09-25 23:34:47 +01:00
Paulo Moura
889e14b46b Fixing minor portability issues 2010-09-25 13:51:03 +01:00
Paulo Moura
d994175e2f Fixed bug in test for the availability of the predicate tries:trie_disable_hash/0. 2010-09-25 04:59:07 +01:00
Paulo Moura
c37a62b2d8 Fixing minor portability issues 2010-09-25 04:09:06 +01:00
Paulo Moura
8cf9568c8b Fixing minor portability issues 2010-09-25 03:46:20 +01:00
Paulo Moura
d5879430da Fixing minor portability issues 2010-09-25 02:30:05 +01:00
Paulo Moura
5d1aa5844a Fixing minor portability issues 2010-09-25 02:24:30 +01:00
Paulo Moura
8ceca88564 Fixing minor portability issues 2010-09-25 01:57:48 +01:00
Theofrastos Mantadelis
639fc74145 a file bug 2010-09-24 17:39:25 +02:00
Theofrastos Mantadelis
5d2f7adb87 fixed makefile 2010-09-24 16:26:54 +02:00
Theofrastos Mantadelis
a8dbd74518 Bernd fixes 2010-09-24 16:02:02 +02:00
Theofrastos Mantadelis
c0b1d3d40d fixing temp structure 2010-09-24 12:42:44 +02:00
Theofrastos Mantadelis
a48d3195b2 oops 2010-09-24 12:35:01 +02:00
Theofrastos Mantadelis
42fc10cf58 Small changes for modularity improvements 2010-09-24 12:33:02 +02:00