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

656 Commits

Author SHA1 Message Date
Vitor Santos Costa
08217b825b update swi packages. 2011-07-22 14:41:17 +01:00
Vitor Santos Costa
c78aa3cf1d fix user-c spying. 2011-07-22 14:10:55 +01:00
Vitor Santos Costa
e4a775925b fix handling of YAP_Blob terms. 2011-07-22 04:09:14 -07:00
Vitor Santos Costa
6fdf6b49f6 fix computation of cut register for either (yapor). 2011-07-21 14:39:57 +01:00
Vitor Santos Costa
de60807724 cleanup patch 2011-07-14 09:40:15 +01:00
Ricardo Rocha
22d8e33a5f fix cut support for or-parallelism 2011-07-13 17:36:26 +01:00
Vitor Santos Costa
45e5e3b983 work if ipackages are missing and some cleanups. 2011-07-13 15:31:22 +01:00
ubu32
2a51403518 fix restore of streams. 2011-07-11 21:15:15 -07:00
ubu32
f968a745e8 fix Scurin in mt 2011-07-11 07:06:20 -07:00
ubu32
2b213963dd use Scurin by default in read/1. 2011-07-10 04:50:55 -07:00
ubu32
04a6911b9f fix warnings. 2011-07-09 09:15:52 -07:00
ubu32
87b99f4d54 update pldoc. 2011-07-09 08:23:12 -07:00
Vitor Santos Costa
1130a3536d fix ProbLog error. 2011-07-04 22:36:57 +01:00
Vitor Santos Costa
9727f3c71c fix warning messages. 2011-07-04 22:36:34 +01:00
Vitor Santos Costa
21050891ee city example. 2011-07-02 09:49:12 +01:00
Vitor Santos Costa
be345a0387 update to recent ProbLog. 2011-06-26 23:13:43 +01:00
Vitor Santos Costa
249010bd90 add SWI compatible file_name_variables flag. 2011-06-21 22:33:10 +01:00
Vítor Santos Costa
53f76eb198 fix Makefile 2011-06-14 11:13:32 +01:00
Vítor Santos Costa
9549277295 fix Makefilew 2011-06-14 09:41:20 +01:00
Vítor Santos Costa
866d2130af disable make_index for now. 2011-06-14 09:39:19 +01:00
Vitor Santos Costa
b3a2f8efb2 new package (pldoc) and updates to several other packages. 2011-06-14 09:17:55 +01:00
Vitor Santos Costa
26c72dcfb1 include ww_browser 2011-06-13 01:57:15 +01:00
Vitor Santos Costa
f10e25b00d update packages. 2011-06-13 01:45:59 +01:00
Vitor Santos Costa
456adc6a4a pldoc seems to be working in YAP. 2011-06-13 01:45:29 +01:00
Vitor Santos Costa
9eabaa580c support for documentation in packages. 2011-06-12 22:26:04 +01:00
Vitor Santos Costa
f04a153e42 flag unavailable before gcc-4.2 2011-06-11 23:07:02 +01:00
U-WIN-ENP104VVO3U\Vítor Santos Costa
48284cfb44 windows console fixes 2011-06-09 17:55:27 +01:00
U-WIN-ENP104VVO3U\Vítor Santos Costa
a0748c7c10 windows interface. 2011-06-06 19:03:20 +01:00
U-WIN-ENP104VVO3U\Vítor Santos Costa
d685b8891f fix compilation flag. 2011-06-06 12:29:28 +01:00
U-WIN-ENP104VVO3U\Vítor Santos Costa
eb700c647d fix lost buffer 2011-06-06 12:29:13 +01:00
Vítor Santos Costa
b1a3b925ae handle variable destroyed by garbage collector. 2011-06-03 12:54:09 +01:00
Vítor Santos Costa
56d71e55b4 remove unecesary files. 2011-06-03 12:26:10 +01:00
Vitor Santos Costa
1962a0507f Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-06-01 14:39:43 +01:00
Vitor Santos Costa
e9171547b9 implementation of bayes ball. 2011-05-27 21:34:55 +01:00
Vítor Santos Costa
791106aa05 these two now include SWI-Stream in Yap.h, so they need PL_KERNEL defined before Yap.h. 2011-05-27 11:49:42 +01:00
Joao
f658a99dad fix C/scanner.c. change some misc/LOCALS initializations. 2011-05-26 15:02:00 +01:00
Joao
98e35b16e8 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-05-25 16:41:39 +01:00
Joao
971ad94311 moved several global variables to misc/GLOBALS 2011-05-25 16:40:36 +01:00
Vítor Santos Costa
14bdc262df export TermToStream 2011-05-25 13:10:39 +01:00
Vitor Santos Costa
b3bd547f55 vel -> ve 2011-05-21 00:27:25 +01:00
Vitor Santos Costa
27dbe24b9e just link if variables have evidence, we can discard other unused variables. 2011-05-21 00:19:53 +01:00
Vitor Santos Costa
adcc2797e1 make sure query variables are accessible from top-level. 2011-05-21 00:15:20 +01:00
Vitor Santos Costa
55e2e6fe3a small fixes 2011-05-20 23:56:12 +01:00
Vitor Santos Costa
6d4d2b5830 fix Makefile for bp 2011-05-19 09:23:32 +01:00
Vitor Santos Costa
b7379a67cc Update CLP(BN) with Tiago's latest version of BP solver. 2011-05-17 12:00:33 +01:00
Joao
bce888bd6d Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-05-11 18:24:25 +01:00
Joao
ab63cd190b LOCALS and GLOBALS are now generated by misc/buildlocalglobal. 2011-05-11 18:22:58 +01:00
Vitor Santos Costa
7122c657c0 more updates to meld. 2011-05-11 09:28:40 +01:00
Vítor Santos Costa
bbf83cb34d extra live should not be needed ... 2011-05-09 22:03:35 +01:00
Ricardo Rocha
a532b6cff3 struct local_optyap_data is now part of struct worker_local (generated from the file LOCALS) 2011-05-09 19:36:51 +01:00
Vitor Santos Costa
72a83eec62 small fixes. 2011-05-08 23:49:06 +01:00
Vitor Santos Costa
925b8fec01 Merge branch 'master' of ssh://yap.git.sf.net/gitroot/yap/yap-6.3 2011-05-08 23:12:44 +01:00
Vitor Santos Costa
77407bc14e improve meld emulation to compile pagerank example. 2011-05-08 23:10:52 +01:00
Joao
d9cee607e9 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 
Conflicts:
	C/cdmgr.c
 2011-05-04 11:10:20 +01:00
Joao
dc3c54c164 change LOCALS macros. 2011-05-04 10:11:41 +01:00
Vitor Santos Costa
bf6033082d Merge branch 'master' of ssh://yap.git.sf.net/gitroot/yap/yap-6.3 2011-05-02 23:31:35 +01:00
Vitor Santos Costa
85c91d72b6 fix example path 2011-05-02 23:28:37 +01:00
U-WIN-ENP104VVO3U\Vítor Santos Costa
772cf833a6 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-05-02 18:23:50 +01:00
U-WIN-ENP104VVO3U\Vítor Santos Costa
a787605c5c fix compilation in win32win64 2011-05-02 18:22:07 +01:00
Vítor Santos Costa
81093f7edd HMM example. 2011-05-01 22:58:35 +01:00
Vítor Santos Costa
63d8536711 move examples upwards. 2011-05-01 22:49:34 +01:00
Vítor Santos Costa
697f7c650c I/O fixes. 2011-04-22 15:29:41 +01:00
Vítor Santos Costa
5488a9bccf for now go back to old tabling trailing 
update YapR
 2011-04-15 10:48:24 +01:00
Vítor Santos Costa
b11a3f894c make sure to initialise both fields in trail entry (helpful for valgrind). 2011-04-13 14:49:03 +01:00
Vítor Santos Costa
49582bf49c recent changes to YapR. 2011-04-04 16:25:14 +01:00
Vítor Santos Costa
e49e59c705 include optimise flag. 2011-04-04 16:23:46 +01:00
Vítor Santos Costa
4ed9df43ac remove Yap_InitPlIO (unused). 2011-04-04 13:55:39 +01:00
Vitor Santos Costa
417fb5c52c includ e6.2 changes for globals. 2011-04-04 13:20:35 +01:00
Vitor Santos Costa
598452c069 fix reinitialization of streams at Restore. 2011-03-28 22:55:28 +01:00
Vitor Santos Costa
889e146f0d update packages 
fix tai loading bug (now compile tai libraries in binary).
 2011-03-27 13:14:42 +01:00
Vitor Santos Costa
9c3d6a187d debugging cleanups 
actually use readline flag.
 2011-03-26 15:45:42 +00:00
Vitor Santos Costa
89d605d6c0 Merge branch 'master' of ssh://yap.git.sf.net/gitroot/yap/yap-6.3 
Conflicts:
	packages/PLStream/pl-file.c
	packages/http
	packages/plunit
	pl/flags.yap
 2011-03-26 15:27:03 +00:00
Vitor Santos Costa
48cd3bd675 use SWI flags. 2011-03-26 15:18:56 +00:00
Vítor Santos Costa
e03acef3f9 use SWI flags. 2011-03-26 15:17:17 +00:00
Vítor Santos Costa
0d9adb7dbc iprogress in submodules. 2011-03-25 23:17:06 +00:00
Vitor Santos Costa
0bd0936683 fix pl-read.c 2011-03-24 22:23:26 +00:00
Vitor Santos Costa
636d66d7ad Merge branch 'master' of ssh://yap.git.sf.net/gitroot/yap/yap-6.3 2011-03-24 21:30:41 +00:00
Vitor Santos Costa
f3debd2f49 fix modules.y 2011-03-24 21:26:01 +00:00
Vítor Santos Costa
9aa4adb0dc update YapR. 2011-03-24 14:07:58 +00:00
Vítor Santos Costa
44f6ce1000 first cut at support for J Azevedo and Rui Camacho's YapR. 2011-03-23 09:46:27 +00:00
Vítor Santos Costa
a8bf2907d5 iupdate dtoa and new versions of packages. 2011-03-22 11:42:05 +00:00
U-WIN-ENP104VVO3U\Vítor Santos Costa
b9b107eaa9 recent versions of packages. 2011-03-22 09:32:59 +00:00
unknown
185151db2a support MINGW 2011-03-21 23:39:25 +00:00
U-WIN-ENP104VVO3U\Vítor Santos Costa
7670ce631b WIN32 patches 2011-03-21 17:07:58 +00:00
Vitor Santos Costa
97f46d5aa9 R support 2011-03-19 15:30:54 +00:00
Vitor Santos Costa
ca952a4eac include R package. 2011-03-19 15:29:06 +00:00
Vitor Santos Costa
97c76adbf4 fix RUNTEX 2011-03-19 15:28:45 +00:00
Vítor Santos Costa
36a0023fbf iimprove SWI compat 2011-03-15 23:49:28 +00:00
Vítor Santos Costa
8421af32e8 support datarootdir 2011-03-15 18:22:05 +00:00
Vítor Santos Costa
d96f9c3fe1 ZLIB support 2011-03-15 18:16:05 +00:00
Vítor Santos Costa
5b27d9fb72 fix submodule 2011-03-15 17:02:56 +00:00
Vítor Santos Costa
73b8478bdb iinclude all modules. 2011-03-15 16:41:33 +00:00
Vítor Santos Costa
123cf5af84 use external module for clib 2011-03-15 16:26:44 +00:00
Vítor Santos Costa
6b5046bb8c use external modules. 2011-03-15 16:22:56 +00:00
Vítor Santos Costa
2a76f86785 don't lock ThreadLocal predicates. 2011-03-15 09:08:09 +00:00
Vítor Santos Costa
656e95f068 fix low level emulation. 2011-03-14 21:03:28 +00:00
Vítor Santos Costa
2d2f5f8702 remove debugging message. 2011-03-14 21:03:13 +00:00
Vítor Santos Costa
0d6be2d858 improve string support 
fix non-thread compilation.
 2011-03-11 23:21:23 +00:00
Vítor Santos Costa
d42db0dc5c ithread_pool (untested). 2011-03-11 21:31:10 +00:00
Vítor Santos Costa
cb192cf26a add get_time. 2011-03-11 20:36:40 +00:00
Vítor Santos Costa
e05b84ce4e fix to thread support. 2011-03-11 19:49:32 +00:00
Vítor Santos Costa
3c5eb3ff7d use SWI version of CLIB 2011-03-10 11:05:53 +00:00
Vítor Santos Costa
4b8a9a4f4e make http an external module. 2011-03-09 23:38:58 +00:00
Vítor Santos Costa
f92f8daa6d fix debugging message. 2011-03-09 22:39:11 +00:00
Vitor Santos Costa
4ad0407388 fix small differences 2011-03-09 13:33:30 +00:00
Vitor Santos Costa
5418f55d74 fix pl-tai 2011-03-09 13:05:03 +00:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
752fa4fc53 support windows compilation, upgrade to current uxnt. 2011-03-09 00:02:21 +00:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
a3f79cede9 WINDOWS compatibility 2011-03-08 00:03:50 +00:00
ubu32
e98ba46ccb make new code work in 32 bit Linux. 2011-03-07 08:34:20 -08:00
Vítor Santos Costa
90d93fdbdd cache abstra machine register in threaded mode. 2011-03-07 16:02:55 +00:00
Vítor Santos Costa
9c3041f1e3 support copying registers in SWI code. 2011-03-03 11:41:21 +00:00
Vítor Santos Costa
da1df3d851 more cleanups. 2011-03-02 23:19:39 +00:00
Vítor Santos Costa
cd287280b3 fix warnings 2011-03-02 09:20:05 +00:00
Vítor Santos Costa
824b5ff88e support critical sections, now that we have Yap.h 2011-03-02 09:19:35 +00:00
Vítor Santos Costa
7f3e510992 get rid of aliasing warnings. 2011-03-02 09:18:51 +00:00
Vítor Santos Costa
d42f4daed0 get rid of unused functions. 2011-03-02 09:18:14 +00:00
Vítor Santos Costa
282760de9c fix an alias warning by replacing cast by an union. 2011-03-02 09:15:30 +00:00
Vítor Santos Costa
b868d85ac8 make rl not deadlock under SIGINT 2011-03-01 12:31:19 +00:00
Vítor Santos Costa
0e447436b3 fix missing lock in OpInfo 2011-03-01 10:32:25 +00:00
Vítor Santos Costa
cce6bb6354 LD should be local to threads. 
get rid of write_depth on YAP side.
 2011-03-01 10:26:25 +00:00
Vítor Santos Costa
31909e3741 fix makefile rules. 
fix dtoa for 64 bit machines
 2011-03-01 09:18:19 +00:00
ubu32
3f6b92de4b enable compilation with multi-threading. 2011-02-27 15:06:10 -08:00
ubu32
f2e8f2ac2e more fixes for bignum support in PLStream. 2011-02-27 03:40:27 -08:00
ubu32
3c261305db interface to rationals. 2011-02-27 02:13:25 -08:00
ubu32
53e8811077 fixes to use SWI version of readline. 2011-02-26 18:34:44 -08:00
Vítor Santos Costa
fbdac55317 rm Makefile, we have Makefile.in 2011-02-25 12:05:51 +00:00
Vítor Santos Costa
11f4ac0e52 remove dump files. 2011-02-25 12:04:46 +00:00
Vítor Santos Costa
f92fa69eab more PLStream stuff. 2011-02-23 17:46:50 +00:00
Vítor Santos Costa
6ea0b727e0 delete executable. 2011-02-23 15:35:17 +00:00
Vítor Santos Costa
29e46cbab9 Experimental code for Tiago Gomes bp solver. 2011-02-23 15:31:56 +00:00
Vitor Santos Costa
4a5ba35937 assembly fixes 
more support for readline, including getting more stuff from read.
 2011-02-17 00:57:49 +00:00
Vitor Santos Costa
d4f11c9fda Merge branch 'master' of ssh://yap.git.sf.net/gitroot/yap/yap-6.3 2011-02-16 21:12:03 +00:00
Vitor Santos Costa
0614a8c26e readline fixes 2011-02-16 21:11:45 +00:00
ubu32
3736a14d9b small fixes 2011-02-15 16:41:32 -08:00
Vitor Santos Costa
dce619f804 compile readline. 2011-02-16 00:23:58 +00:00
Vitor Santos Costa
ef918d8fe4 try compiling pl-rl 2011-02-15 23:45:47 +00:00
Vitor Santos Costa
842f80e928 encoding support. 2011-02-15 22:44:06 +00:00
Vítor Santos Costa
49f980a7a7 small fixes 2011-02-15 19:24:15 +00:00
Vítor Santos Costa
e90a1ce024 avoid repeated fetch 2011-02-15 18:40:18 +00:00
Vítor Santos Costa
ce0874d6be improve code to avoid warning. 2011-02-15 18:39:50 +00:00
Vítor Santos Costa
7b8a25d961 iYAP allows variables to be written as $VAR(-1) -> _ 2011-02-15 18:24:35 +00:00
ubu32
57f5ef8cfc more bug fixes: 
- make readline use packages, not old YAP code
- fix ! over backtrack cps
- fix write list
 2011-02-15 05:54:19 -08:00
ubu32
4dbdaaa772 eplace format 2011-02-14 14:13:45 -08:00
ubu32
f6befe5796 alias stuff. 2011-02-14 06:59:15 -08:00
ubu32
09f4810b76 __APPLE__ is __unix__:w 2011-02-14 06:51:28 -08:00
ubu32
17da004a5f make sure we initialize the OS bits. 2011-02-14 06:49:48 -08:00
Vitor Santos Costa
80f190bc8a use SWI user_*. 2011-02-13 01:03:08 +00:00
Vitor Santos Costa
2d07a7730e remove YAP memory (string) streams. 2011-02-12 18:42:44 +00:00
Vitor Santos Costa
a41627ef1d return time as an int64, not as a float. 2011-02-12 00:45:00 +00:00
Vitor Santos Costa
712300027e include support for working_directory/2 as a system predicate. 2011-02-12 00:26:28 +00:00
Vitor Santos Costa
2451a052cb use text routines from current SWI fli. 2011-02-12 00:17:59 +00:00
Vítor Santos Costa
45032cc61e export current predicate for SWI built-ins. 2011-02-11 19:01:18 +00:00
Vitor Santos Costa
07b17f473a improve non empty files. 2011-02-11 14:17:06 +00:00
Vítor Santos Costa
b475be5692 more SWI compatibility changes. 2011-02-11 01:22:07 +00:00
Vítor Santos Costa
02c791fc3d iminor PLStream fixes. 2011-02-10 21:45:43 +00:00
Vitor Santos Costa
3fe9b923cb more fixes to SWI emulation 
integrate in main binary
 2011-02-10 21:14:38 +00:00
Vitor Santos Costa
841f6eb1e5 YAP updates. 2011-02-10 00:02:05 +00:00
Vitor Santos Costa
232a740d43 upgrade to latest SWI 2011-02-10 00:01:19 +00:00
Vitor Santos Costa
8e8c361671 zlib is now submodule. 2011-02-09 13:11:15 +00:00
Vitor Santos Costa
b00ed6508e move to new sharing structure 2011-02-09 13:10:20 +00:00
Vítor Santos Costa
0ad02c3ee1 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-02-08 21:06:02 +00:00
Vítor Santos Costa
54507703fe Merge branch 'master' of ../yap-6.2 2011-02-08 21:05:12 +00:00
Theofrastos Mantadelis
89789e8232 corrected an import bug 2011-02-08 15:57:23 +01:00
Vitor Santos Costa
9bdc7ca96e get rid of references to freed code. 2011-02-04 01:23:01 +00:00
Vitor Santos Costa
c1721df472 Merge branch 'master' of /yap-6.3 
Conflicts:
	C/c_interface.c
 2011-02-03 11:33:50 +00:00
Vitor Santos Costa
48b891a5b2 Merge branch 'master' of ../yap-6.2 2011-02-03 11:27:01 +00:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
a4a1feeacc improve SWI emulation in WIN32. 2011-02-03 11:23:12 +00:00
Vítor Santos Costa
ea5b0a29b2 Merge branch 'master' of ../yap-6.2 2011-02-02 19:38:32 +00:00
Vítor Santos Costa
cbf6caddbd fix support for comparing weird terms. 2011-02-02 19:37:11 +00:00
Vítor Santos Costa
f840ee307d Merge branch 'master' of ../yap-6.2 2011-02-02 16:15:50 +00:00
Vitor Santos Costa
67ec597966 Merge ../yap-6.2 2011-01-21 08:16:41 -06:00
Theofrastos Mantadelis
457052f661 Corrected a minor ProbLog bug 2011-01-17 12:02:05 +01:00
vsc
150d54d527 fix jpl 2010-12-31 05:39:22 +00:00
vsc
58b838b8e1 fix bad overflow handling 2010-12-31 05:37:25 +00:00
Vitor Santos Costa
fa0e2d6954 Merge branch 'master' of ../yap-6.2 2010-12-30 22:45:06 -06:00
Vitor Santos Costa
5feb6a9dc5 SWI emulation: it is unsafe to keep arguments in regs. 2010-12-30 22:42:30 -06:00
Vitor Santos Costa
7c86b244b9 patches from Keri Harris 2010-12-30 22:14:45 -06:00
Vitor Santos Costa
eb4e59652f fix getStrem in 2010-12-29 09:29:30 -06:00
Theofrastos Mantadelis
8d77ee7769 ProbLog: Added fact map export 2010-12-20 12:36:59 +01:00
Vitor Santos Costa
8cee9a27c7 Merge branch 'master' of ../yap-6.2 2010-12-19 22:07:44 +00:00
Vitor Santos Costa
168a6366f8 enable obtaining current stream_position from SWI.y 2010-12-19 21:32:13 +00:00
Vítor Santos Costa
26c265ba13 Merge branch 'master' of ../yap-6.2 2010-12-17 20:27:26 +00:00
Theofrastos Mantadelis
90041919d4 fixed problogbdd compilation warnings 2010-12-17 12:23:03 +01:00
Vítor Santos Costa
81ca149be7 Merge branch 'master' of ../yap-6.2 2010-12-16 22:22:44 +00:00
Theofrastos Mantadelis
a442d888de Newest ProbLog version 2010-12-16 14:30:50 +01:00
Vítor Santos Costa
2dad416011 Merge branch 'master' of ../yap-6.2 2010-12-15 20:04:13 +00:00
Vítor Santos Costa
4546a22101 SWI seems to use t=0 for user_input/output. Not very clear why... 2010-12-15 20:03:22 +00:00
Vitor Santos Costa
dffacb814b Merge branch 'master' of ../yap-6.2 2010-12-13 12:40:07 +00:00
Vitor Santos Costa
3c4da56af2 allow write to find out about SWI streams in SWI mode. 2010-12-13 12:38:37 +00:00
Vítor Santos Costa
51e9cb14a7 nl should be in the SWI IO (obs from Roberto Bagnara). 2010-12-12 19:07:24 +00:00
Vítor Santos Costa
b086d8b5cd Merge branch 'master' of ../yap-6.2 2010-12-07 18:21:50 +00:00
Vítor Santos Costa
1bbded5ef7 memfiles need swi compat streams. 2010-12-07 18:20:45 +00:00
Vítor Santos Costa
856a32bd19 Merge branch 'master' of ../yap-6.2 2010-12-03 12:13:14 +00:00
Vítor Santos Costa
f8806bed9f explicitely link pthreads in clib. 2010-12-03 12:12:15 +00:00
Vítor Santos Costa
4e0390da5c Merge branch 'master' of ../yap-6.2 2010-12-02 19:42:52 +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