Vítor Santos Costa
7e1692bdb0
fix mess with LIBDIR and YAPLIBDIR
...
use -Wl,-WR in a more consistent way in Linux
use --with-java instead of --with-jpl
2010-06-01 00:38:42 +01:00
Vítor Santos Costa
e94104306c
port of PYSWIP package.
2010-06-01 00:33:32 +01:00
Fabrizio Riguzzi
9be29a90ee
adapation to 6.0.5 (builtin intersection)
2010-05-14 17:38:47 +02:00
Vítor Santos Costa
55019a83bd
win64
2010-05-10 10:22:42 +01:00
Fabrizio Riguzzi
6457655fb0
moved to Artistic license 2.0
2010-05-06 18:02:07 +02:00
Vítor Santos Costa
3740a70843
fix for win64 compiler.
2010-05-06 15:41:14 +01:00
Vítor Santos Costa
fabc10ca75
winsock2 is required here.
2010-05-06 15:26:42 +01:00
Vítor Santos Costa
51f33514b3
fix typing problems and a bug in quote.c?
2010-05-06 12:19:51 +01:00
Vitor Santos Costa
515f7eafe2
update to most recent sgml pl files.
2010-05-06 11:37:40 +01:00
Vitor Santos Costa
261b5163c7
update sgml package.
2010-05-06 10:59:09 +01:00
Vítor Santos Costa
1d3f971511
define warning( in SWI emulation: just a stub for now.
2010-05-05 16:31:08 +01:00
Vítor Santos Costa
903b0df915
fix include path access.
2010-05-05 16:25:55 +01:00
Vitor Santos Costa
20867136c2
APPLE is unix, want it or not!
2010-05-05 00:11:52 +01:00
Vítor Santos Costa
a492d969f0
try to run sgml tests.
2010-05-04 15:24:28 +01:00
Vítor Santos Costa
2852f5d154
pl-glob is now supported (* expansion).
2010-05-04 15:18:00 +01:00
Vítor Santos Costa
9ff4bbfbfe
update PLStream to improvements in the interface.
2010-05-04 15:17:08 +01:00
Vítor Santos Costa
85361bf920
swi to system.
2010-05-03 18:53:45 +01:00
Vítor Santos Costa
a7f99fe465
take advantage of compatibility with fixed atoms.
2010-05-03 18:52:56 +01:00
Vitor Santos Costa
31554991c8
better emulation of SWI atom_t and functor_t.
2010-05-03 14:26:56 +01:00
Vitor Santos Costa
3cb5e57833
declare meta-predicate call arguments (Paulo Moura).
2010-04-22 20:45:57 +01:00
Vítor Santos Costa II
49c783cc10
update chr
2010-04-22 18:09:18 +01:00
Vítor Santos Costa II
1a4c414831
meta-expansion should be done before calling goal_expansion :(
2010-04-20 23:14:15 +01:00
Vitor Santos Costa
7593a9ec78
fix scanning of integers starting with 0b and 0o (ISO, obs from Paulo Moura).
2010-04-18 20:48:25 +01:00
Vítor Santos Costa II
2b4e51a2d4
more jpk fixes
2010-04-14 15:55:19 +01:00
Vítor Santos Costa II
45acd9b07d
iupgrade to latest
2010-04-13 22:35:49 +01:00
Vítor Santos Costa II
719089b96b
make PL_is_initialised honest :)
2010-04-13 00:31:48 +01:00
Vitor Santos Costa
504306d651
fix fast_proofs in ProbLog (obs from A Kimmig, F Riguzzi).
2010-04-05 12:20:59 +01:00
Vitor Santos Costa
3d5878f651
another fix to new nb_getval.
2010-03-31 15:50:36 +01:00
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
b2238c1644
removed debug printf, changed module tptree name
2010-03-21 11:49:19 +01:00
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
cde7bda046
changed the name of the module ptree to ptree_lpad
2010-03-20 15:26:23 +01:00
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
287317721e
added comments to simplecuddLPADs files stating they were modified from
...
Problog
2010-03-20 01:08:30 +01:00
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
92b9be2dc8
removed .svn dir
2010-03-18 18:17:54 +01:00
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
db2eefd0c9
added approximated cplint
2010-03-18 16:11:21 +01:00
Vitor Santos Costa
e0a28acdcb
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-03-15 14:20:55 +00:00
Vitor Santos Costa
577c7721d7
upgrade to cuurent chr
2010-03-15 14:20:41 +00:00
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
ce540b5dd4
Fixed compilation of cplint under new packages folder
2010-03-15 09:51:39 +01:00
Vitor Santos Costa
5e26f604c6
fix makefiles to define $exec_prefix
2010-03-05 10:22:48 +00:00
Vitor Santos Costa
2685a8449d
installation patches from Keri Harris
2010-03-05 08:15:02 +00:00
Vitor Santos Costa
abec8208d3
export operator.
2010-03-04 23:42:17 +00:00
Vitor Santos Costa
c6204240cb
fix unknown nb
2010-03-03 22:14:42 +00:00
Vitor Santos Costa
eab72f6ab7
handle integer(0.0/0.0) (obs from David Vaz).
2010-02-23 22:25:04 +00:00
U-Khasa\Vitor
585ff18783
WINDOWS release support
2010-02-22 19:06:35 -06:00
Vitor Santos Costa
10c0f7a175
missing PL_unify_chars (just copied from SWI).
2010-02-22 22:01:02 +00:00
Vitor Santos Costa
1012f1e1b6
more SWI upgrades
2010-02-22 17:59:23 +00:00
Vitor Santos Costa
4a53759fc1
update PLStream to more recent version of SWI.
2010-02-22 09:35:47 +00:00
Vitor Santos Costa
11e679edfe
fix mktime to use local time (fix from Takeyuki Shiramoto).
2010-02-21 00:59:38 +00:00
Vítor Santos Costa
dddad72a0e
AtomDouble was not defined correctly.
2010-02-19 14:16:57 +00:00
Vitor Santos Costa
f5bba7b8f7
fix indexing of dbrefs (obs from Nicola di Mauro).
2010-02-12 15:51:31 +00:00
U-Khasa\Vitor
7855ddf2ce
exists_directory/1
2010-02-11 12:07:08 -06:00
U-Khasa\Vitor
c59349d91d
complaint with recent versions of gcc
2010-02-10 03:02:24 -06:00
Vitor Santos Costa
929995f5a1
fix compilation problems.
2010-02-01 21:44:21 +00:00
Vítor Manuel de Morais Santos Costa
9d1f0cd361
incremental copying with or-threads.
2010-02-01 20:05:01 +00:00
Vitor Santos Costa
6b0136b836
updated jpl package.
2010-01-31 23:07:52 +00:00
Vítor Manuel de Morais Santos Costa
4d341f2aab
fix bad call to gc (obs from Jose Santos).
2010-01-29 15:21:00 +00:00
Vítor Manuel de Morais Santos Costa
a7c1e9afba
fix hashing over empty atoms (obs from Jose Santos).
2010-01-21 15:21:26 +00:00
Vitor Santos Costa
8f9f1223e7
fix sub_atom(xxx,_,_,_,'') (obs from David Vaz).
2010-01-17 00:04:17 +00:00
Vítor Manuel de Morais Santos Costa
af32dc1a9c
make cut_c default.
2010-01-15 15:09:18 +00:00
Vítor Manuel de Morais Santos Costa
ffdf270a3d
make SWI-Prolog get YAP stuff from include/Yap at run-time.
2010-01-15 14:39:03 +00:00
Vitor Santos Costa
0ae63bf0e2
ubmodules.
2010-01-15 01:03:48 +00:00
Vitor Santos Costa
d93b24920d
fix bad library order
2010-01-15 01:02:24 +00:00
Vitor Santos Costa
2727c04935
fix install of ProbLog.
2010-01-15 00:31:26 +00:00
Vítor Manuel de Morais Santos Costa
69caa6d5df
upgrade to more recent version of ProbLog.
2010-01-14 15:46:46 +00:00
Vítor Manuel de Morais Santos Costa
324833f84a
fix excessive trimming in C-interface for backtrackable predicates (obs from José Vieira).
2010-01-11 15:44:43 +00:00
Vitor Santos Costa
b88eb78e96
fix bad configuration option.
2009-12-16 18:35:19 -02:00
Vítor Manuel de Morais Santos Costa
48861db34e
fix bad testing of choice-point in throw (tabling bug?)
2009-12-12 23:22:10 +00:00
Vitor Santos Costa
933f96a80d
more CXX stuff: will it ever end?
2009-12-10 23:47:34 +00:00
Vitor Santos Costa
f7e60ddbc2
simple should run tests when loading plunit.
2009-12-04 10:59:38 +00:00
Vitor Santos Costa
9814a3e95b
better support for plunit, and don't trust SWI flags (use SICStus flags).
2009-12-04 00:35:37 +00:00
Vitor Santos Costa
367f1d954f
better way to define prolog flag.
2009-12-04 00:06:11 +00:00
Vítor Manuel de Morais Santos Costa
1176f71f3a
support for making sure exceptions are reset when they should be reset (obs from Nuno Fonseca, #159 )
2009-12-03 17:48:25 +00:00
Vitor Santos Costa
06d30b9fc9
Jump and Throw need to store the term away, if they try to use arena
...
the term will hang in the stack (#152 ).
2009-12-02 21:59:41 +00:00
Vítor Manuel de Morais Santos Costa
53e91797b3
make modules kind of work here :(
2009-11-27 13:45:57 +00:00
Vítor Manuel de Morais Santos Costa
98f79484ae
change throw mechanism to fit better with cleanup mechanism:
...
- balls are now stored off line and recovered by Prolog code when everything
is safe.
- if a ball exists, throw uses the *existing* one (be careful not to have one
laying around).
- Jump routine cleans up every cp except ones for setup_call handling, backtracking simply calls setup handlers.
2009-11-27 11:21:24 +00:00
Vitor Santos Costa
9f27ab5ab3
fix typo in minisat compilation
2009-11-23 21:03:04 +00:00
U-Xato7\Vsc
dd60f64f42
WIN32 can get confused with C and c type files, so, just in case.
2009-11-23 16:02:47 +00:00
Vítor Manuel de Morais Santos Costa
86715801bf
fix missing stripostfix, and add stricmp (although one should use strcasecmp).
2009-11-23 13:41:07 +00:00
Vitor Santos Costa
56d9666197
port of SWI-Prolog's plunit.
2009-11-23 10:55:10 +00:00
Vitor Santos Costa
ffe1dfdfff
support for module based operators.
2009-11-20 00:33:14 +00:00
Vitor Santos Costa
9cbdf8f57e
tiny cleanups.
2009-11-18 23:36:07 +00:00
Vítor Manuel de Morais Santos Costa
7155fbec22
fix bad ordering in HEAPFIELDS: OPERANDS must be well placed before we can
...
recover atom table and dependent preds.
2009-11-18 15:48:29 +00:00
Vitor Santos Costa
4b40e80fe5
CXX not CPP, you idiot!
2009-11-18 09:53:38 +00:00
Vitor Santos Costa
167e129222
make configuration changes to better support C++ and deeper included packages.
2009-11-18 09:29:26 +00:00
Vítor Manuel de Morais Santos Costa
0d23db6b6d
fix use of rm * when we have lots of examples.
2009-11-11 12:36:54 +00:00
Vítor Manuel de Morais Santos Costa
7058b6b35f
minisat swi interface package.
2009-11-11 10:56:37 +00:00
Vítor Manuel de Morais Santos Costa
51f6f509e1
hack to make ProbLog run faster on very large domains.
2009-11-11 10:54:05 +00:00
Vitor Santos Costa
a628079e00
make sure we walk every clause when doing restore mega_clause.
2009-11-02 12:46:39 +00:00
Vítor Manuel de Morais Santos Costa
6a8cee8b79
compilation fixes
2009-10-31 00:18:13 +00:00
Vitor Santos Costa
0f99e336cc
YAPVERSION
2009-10-21 00:20:18 +01:00
Vitor Santos Costa
b2eb437625
minor changes to CLP(BN).
2009-10-21 00:05:23 +01:00
Vítor Manuel de Morais Santos Costa
fc3c3b4e29
fix passing LD
2009-10-16 08:09:50 +01:00
Vitor Santos Costa
307446d000
improve evidence handling in CLP(BN).
2009-09-09 18:02:09 -05:00
Costa Vitor
068242a833
mention examples in README file.
2009-07-31 17:39:21 -05:00
Costa Vitor
77e947cdae
- upgrade to latest simplecudd.
...
- fix paths in learning.
2009-07-31 17:04:11 -05:00
Costa Vitor
98843bea46
update to version 07312009 of ProbLog.
2009-07-31 12:18:03 -05:00
Vitor Santos Costa
82b1a6f62a
make it compile back in Unix.
2009-07-20 23:13:36 -05:00
U-Khasa\Vitor
d3fa43d08e
improve SWI emulation in WIN32
2009-07-20 20:56:16 -07:00
U-Khasa\Vitor
2020a31362
mingw compilation
2009-07-18 13:38:38 -07:00
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
1f4717d502
added PICL program
2009-06-27 11:54:33 +02:00
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
d79feb0310
bug fixes and performance improvement in SLGAD (lpad.pl)
2009-06-23 11:32:54 +02:00
Costa Vitor
6a8f9faf4f
solaris doesn't know limits.
2009-06-16 23:26:03 -05:00
Costa Vitor
4644320d8e
fixes to support jpl compilation in Linux AMD64 bit machines.
2009-06-15 17:44:13 -05:00
Vitor Santos Costa
662dcde178
fix Darwin compilation.
2009-06-01 21:30:44 -05:00
Costa Vitor
4363b53c4d
fix bad order in arguments.
2009-06-01 19:30:24 -05:00
Costa Vitor
6a0d5c303d
make sure we initialise stdstreams as well.
2009-06-01 19:29:54 -05:00
Costa Vitor
8e30d82119
fix inconsistency #99
2009-06-01 18:10:31 -05:00
Costa Vitor
98fef199bd
fix conflict in error handling (not supposed to be exported by SWI-Prolog.h
...
add PL_eval_expression_to_int64_ex
2009-06-01 18:01:30 -05:00
Costa Vitor
9d5a049c8f
upgrade to most recent version of pl-os
...
fix some warnings.
2009-06-01 17:30:08 -05:00
Costa Vitor
edfcfe9ddc
more fixes to PLStream
2009-06-01 16:56:00 -05:00
Costa Vitor
4a823a5065
include privitf to support new pl-file.c
2009-06-01 16:43:27 -05:00
Vitor Santos Costa
4847b19bec
PLStream changes.
2009-06-01 15:55:31 -05:00
Vitor Santos Costa
d1175de6bb
upgrade to more recent version of pl-file.c (not complete).
2009-06-01 15:39:38 -05:00
Vitor Santos Costa
0cd72ad258
changes to compile YAP in WIN32
2009-05-29 14:36:49 -05:00
Vitor Santos Costa
a10bf47a0c
improve stochastic grammar learning (work in progress).
2009-05-26 10:49:04 -05:00
Vitor Santos Costa
6fd5e592d3
support probabilistic grammars from CLPBN
2009-05-02 14:22:54 -05:00
Vitor Santos Costa
1f7b839e85
support exporting top-level-work as absolute path
2009-05-02 14:11:54 -05:00
Vitor Santos Costa
5c8fd76ab6
fix previous patch: it refers to current source.
2009-05-02 13:22:47 -05:00
Vitor Santos Costa
3603c6eb07
include popen for mingw compilation
...
simplify Makefile a tiny bit.
2009-05-02 12:33:36 -05:00
Vitor Santos Costa
ad617951ec
clpqr is now a separate package.
2009-04-24 10:01:27 -05:00
Vitor Santos Costa
88289b1fe3
get rid of depend
2009-04-22 21:22:04 -05:00
Vitor Santos Costa
c216bd3b43
fix depend stuff.
2009-04-22 17:48:53 -05:00
Vitor Santos Costa
0bca468b4f
make sure we export in WIN32 environments, just like what SWI does.
2009-04-22 11:33:49 -05:00
Vitor Santos Costa
74b5914a22
add extra files for WIN32.
2009-04-20 16:40:08 -05:00
Vitor Santos Costa
50207cb52a
WIN32 fixes: work in progress.
2009-04-20 16:22:47 -05:00
Vitor Santos Costa
0695a8f8b3
make it compile.
2009-04-18 15:21:42 -05:00
Vitor Santos Costa
b903602ac1
should terminate with NULL.
2009-04-14 01:32:29 +01:00
Vitor Santos Costa
9e8db82391
updates to UDI package
2009-04-02 17:34:42 +01:00
Vitor Santos Costa
0391b3ce25
rtree_udi is being compiled from within YAP.
2009-03-24 08:21:37 +00:00
Vitor Santos Costa
bab1fd36ec
Angelika's updates.
2009-03-24 01:06:50 +00:00
Vitor Santos Costa
58560d4f2c
move bool typedef here.
2009-03-23 15:29:13 +00:00
Vitor Santos Costa
4188091d01
fix case where we have multiple marginals.
2009-03-19 09:52:25 +00:00
Vitor Santos Costa
6a45dbc98a
use correct location for problog.
2009-03-16 15:13:47 +00:00
Vitor Santos Costa
d6a06fe092
Experiment with porting SGML to YAP, and trying to preserve SWI code as much
...
as possible.
2009-03-13 19:39:06 +00:00
Vitor Santos Costa
754f00d311
fix PLStream to
...
actually link
not collide with YAP builtins (for now).
initialise current encoding.
2009-03-13 19:37:52 +00:00
Vitor Santos Costa
43019a496f
last fixes of ProbLog
2009-03-09 00:45:14 +00:00
Vitor Santos Costa
a6747da26e
simplecudd interface
2009-03-09 00:42:12 +00:00
Vitor Santos Costa
620ac64fdd
git learning stuff.
2009-03-09 00:40:50 +00:00
Vitor Santos Costa
1c87f3b41a
Updated ProbLog Makefile and updated Problog top files.
2009-03-09 00:40:12 +00:00
Vitor Santos Costa
3bcee78224
another attempt at removing package chr.
2009-03-06 11:29:12 +00:00
Vitor Santos Costa
f01fd0fbee
update ProbLog
2009-03-06 09:53:09 +00:00
Vitor Santos Costa
91657556ee
more UDI stuff.
2009-02-25 00:13:45 +00:00
Vitor Santos Costa
84ebc2b2f2
RTree UDI support (written by David Vaz).
2009-02-20 11:44:00 +00:00
Vitor Santos Costa
419e0e369f
fix packages
2009-02-16 17:22:57 +00:00
Vitor Santos Costa
e9e01815af
more packages stuff
2009-02-16 17:19:43 +00:00
Vitor Santos Costa
e5d11cfa16
MYDDAS is too closely integreated to be a package.
2009-02-16 17:15:21 +00:00
Vitor Santos Costa
107af59dd8
BEAM is not quite a package
2009-02-16 12:33:37 +00:00
Vitor Santos Costa
a000af113b
OSX portability updates
...
start of support for commons prolog initiative
2009-02-16 12:25:03 +00:00
Vitor Santos Costa
9c9444bece
update package locations to a subdir packages
2009-02-16 12:23:29 +00:00
