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

297 Commits

Author SHA1 Message Date
Vítor Santos Costa
18d77309a6 c_inp_stream and friends are thread private! 2010-07-27 17:28:58 +01:00
Fabrizio Riguzzi
63e0523a43 removed dependency from glu, now cplint depends only on CUDD 2010-07-27 17:55:52 +02:00
Fabrizio Riguzzi
5a19dd372a removed dependency on array_t 2010-07-27 16:53:47 +02:00
Vitor Santos Costa
eebff5df6a fixes to YAP C-thread interface. 2010-07-23 12:07:33 +01:00
Vítor Santos Costa
92a8e37769 remove debugging information 2010-07-21 11:12:15 +01:00
Vítor Santos Costa
b61d69ffe8 allow SWI Interface to send/receive wide characters. 2010-07-21 10:58:24 +01:00
Vítor Santos Costa
1f3455a656 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 
Conflicts:
	include/SWI-Prolog.h
 2010-07-21 09:44:18 +01:00
Vítor Santos Costa
90f7504a76 make swi-yap io interface a structure. 2010-07-21 09:39:49 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
7417284b8b WIN64 compilation 2010-07-20 23:50:00 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
e21bce4f81 fix typo 2010-07-20 23:31:15 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
cb115142cd update 2010-07-20 22:55:54 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
4e0c6a0e23 support WIN32 2010-07-20 22:54:51 +01:00
Vítor Santos Costa
7551f2b12e update to current jpl 2010-07-20 16:45:43 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
18f28354b6 more WIN32 compilation fixes. 2010-07-20 14:33:33 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
4b20d2c74e fix export 2010-07-20 13:42:48 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
b9e63fa4b9 fixes for WIN32 2010-07-20 13:42:35 +01:00
Vitor Santos Costa
d608966f46 add missing files 2010-07-19 22:42:37 +01:00
Vitor Santos Costa
a8b080a158 sgml stuff 2010-07-19 14:56:21 +01:00
Vitor Santos Costa
8ca1345c09 add missing files. 2010-07-19 14:55:13 +01:00
Vitor Santos Costa
907dd74dd0 remove SWI's config.h 2010-07-19 14:53:36 +01:00
Vitor Santos Costa
baab2cdbfe add tai package (and SWI interface). 2010-07-19 14:52:26 +01:00
Vitor Santos Costa
5347581f84 improvements to compatibility of http server package. 2010-07-19 14:47:39 +01:00
Vitor Santos Costa
3794f21844 don't use old config.h, use general YAP config.h 2010-07-19 14:43:07 +01:00
Vitor Santos Costa
6183ff0282 semweb and http compile now (but they don't work properly yet). 2010-07-15 23:35:37 +01:00
Vitor Santos Costa
12fe06aa2e extensions to interface 2010-07-15 23:35:04 +01:00
Vitor Santos Costa
8690fb8ca0 make clp(bn) work again. 2010-06-30 17:54:58 +02:00
Vitor Santos Costa
0f241ae87c pyswip was using old SWI function. 2010-06-30 17:53:26 +02:00
Vítor Santos Costa
4694a50fa5 http package (only partially working) 2010-06-23 11:52:34 +01:00
Vítor Santos Costa
6e956b879a fixes for YAP 2010-06-23 11:52:23 +01:00
Vítor Santos Costa
15546096fe more fixes 2010-06-23 11:44:44 +01:00
Vítor Santos Costa
1fc997e096 iupdate pacjages 2010-06-21 11:55:57 +01:00
Vítor Santos Costa
a37adad3e8 the sage of configuring everything goes on! 2010-06-21 11:54:21 +01:00
Vitor Santos Costa
c9e150bab7 fix PL_cleanup_fork (avoid two definitions). 2010-06-20 00:11:07 +01:00
Vítor Santos Costa
f1075f6da3 fix makefiles t get extra dirs from configure (obs from Paulo Moura). 2010-06-19 14:49:04 +01:00
Vítor Santos Costa
4c45f8c4b1 avoid some name clashes (obs from Roberto Bagnara) 2010-06-18 17:48:47 +01:00
Vitor Santos Costa
0793bbc07c OSX path and clib support 2010-06-18 10:38:11 +01:00
Vitor Santos Costa
53773207f4 fix environ on MAC 2010-06-18 10:32:57 +01:00
Vitor Santos Costa
3fcf5f5ced fix @SO@ 2010-06-18 10:31:50 +01:00
Vitor Santos Costa
17abf6a484 support for PL_utf8_strlen 2010-06-18 10:31:20 +01:00
Vítor Santos Costa
f4b86022d6 make clib more yap friendly. 2010-06-18 00:31:16 +01:00
Vítor Santos Costa
cf90ace3e1 signal handling SWI style. 2010-06-17 08:20:34 +01:00
Vítor Santos Costa
3631439be9 fix debugging info 2010-06-17 08:20:15 +01:00
Vítor Santos Costa
980f6db84d SWI's clib package 2010-06-17 00:41:11 +01:00
Vítor Santos Costa
40febfdf9b clib package 2010-06-17 00:40:25 +01:00
Vítor Santos Costa
fa91738193 extend SWI compatinbility. 2010-06-17 00:33:57 +01:00
Vítor Santos Costa
6ddfecc861 use SO to make YAP makefiles closer to SWI's 2010-06-14 10:36:13 +01:00
Vítor Santos Costa
b0096fc2f5 DLL cleanup (yet again) 2010-06-14 09:28:20 +01:00
U-pekheno\Vitor
4ac1ad34f6 fix messed up Makefile conventions 2010-06-04 22:59:31 +01:00
U-pekheno\Vitor
ea522eecfe fix name for yap dll 2010-06-04 22:32:26 +01:00
Vítor Santos Costa
247d59f0ef - slots should be considered as always live for gc. 
- make sure slots do not die when they should be live, and vice-versa.
- improve a little on foreign_frame
 2010-06-01 00:40:58 +01:00
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