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

687 Commits

Author SHA1 Message Date
Vitor Santos Costa
6619bd44b0 fix interfacey 2010-06-30 13:18:15 +02:00
Vítor Santos Costa
1b16a3d909 fix american version of neighbors. 2010-06-23 15:38:58 +01:00
Vítor Santos Costa
d22cb9b6ab new interface pedicates 
fixes to bad implementation.
 2010-06-23 11:44:21 +01:00
Vítor Santos Costa
e72ce435d9 fix confusion 2010-06-21 17:12:45 +01:00
Vítor Santos Costa
d05d4c920d fix conflict between clib and old random libraries (they are much the same): 2010-06-21 17:11:48 +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
d210d85f09 PL_get_atom_nchars 2010-06-19 14:40:47 +01:00
Vítor Santos Costa
bd50f087e9 imore SWI compat, including string fixes 2010-06-19 00:38:49 +01:00
Vítor Santos Costa
d1d149b9fd support for PL_ mpz and mpq ops 
add missing atom_nchars
 2010-06-18 23:24:36 +01:00
Vitor Santos Costa
37fd542071 fix loading after comment :( 2010-06-18 10:34:04 +01:00
Vitor Santos Costa
53773207f4 fix environ on MAC 2010-06-18 10:32:57 +01:00
Vitor Santos Costa
b74e38378f new: PL_atom_nchars 2010-06-18 09:14:45 +01:00
Vítor Santos Costa
71f59ac570 PL_unify_list_codes 2010-06-18 00:29:07 +01:00
Vítor Santos Costa
e81960a96d shlib is now in YAP. 2010-06-18 00:28:42 +01:00
Vítor Santos Costa
32cbd34ff1 add shlib to autoloader (SWI emulation). 2010-06-18 00:27:51 +01:00
Vítor Santos Costa
b0b4d53ee6 several fixes to SWI C-interface emulation. 2010-06-17 00:34:29 +01:00
Vítor Santos Costa
d8e3483120 fix bad @SO@ 2010-06-14 16:49:46 +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
Vítor Santos Costa
bf26536626 make frame structure thread local. 2010-06-14 09:26:32 +01:00
Vítor Santos Costa
4ffdafb529 fix YAP_Init return test. 2010-06-06 23:05:54 +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
215581ffc8 fix use of in/2 (could conflict with autoloader's clpfd). 2010-05-27 12:02:52 +01:00
Vítor Santos Costa
eb980421a9 make term_to_atom/2 a YAP builtin. 2010-05-23 18:39:46 +01:00
Vítor Santos Costa
71ff7762e5 is_list/1 is now a built-in. 2010-05-23 18:24:24 +01:00
Vítor Santos Costa
6722ec6fec fix bad handle passing 2010-05-23 18:23:51 +01:00
Vítor Santos Costa
845866f940 fix db_sql/3 (from Anton Dries) 2010-05-21 08:38:20 +01:00
Vítor Santos Costa
6a433c33a1 fix messup with functors that are atoms. 2010-05-19 17:17:05 +01:00
Vítor Santos Costa
2639e6c868 bad inline expansion of exclude (obs from Paolo Frasconi) 2010-05-19 17:15:11 +01:00
Vitor Santos Costa
86333a9c6e have to fix SWI frames. 2010-05-10 03:06:06 +01:00
Vítor Santos Costa
db18bf74fc documentation fix from Jan Wielemaker 2010-05-08 08:26:59 +01:00
Vítor Santos Costa
958720d92e more win64 2010-05-06 16:45:38 +01:00
Vítor Santos Costa
dd8d122f04 fix fixes (export to win64 vm) 2010-05-06 16:43:51 +01:00
Vítor Santos Costa
32ff9b54ff more win64 warnings 2010-05-06 16:41:40 +01:00
Vítor Santos Costa
11641c5f94 64 bit cleanups. 2010-05-06 15:00:44 +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
9301b67724 allow better control over using SWI I/O 2010-05-06 11:36:47 +01:00
Vitor Santos Costa
849c96cb38 handle lookups with max len and hack for _PL_get_arg 2010-05-06 10:57:59 +01:00
Vitor Santos Costa
c3f1231923 fix stupid bug in using memset (obs from Jos De Roo). 2010-05-06 09:08:59 +01:00
Vítor Santos Costa
4d0967b050 arg(2,a,X) fails in SWI and gives an error in YAP/SICStus. Keep on using genarg. 2010-05-05 19:37:56 +01:00
Vítor Santos Costa
0740495d77 PL_handle_signals is now provided by PLStream 2010-05-04 15:16:10 +01:00
Vítor Santos Costa
1ad9b168ca use PLStream functionality whenever possible. 2010-05-04 15:15:46 +01:00
Vítor Santos Costa
0e88668df8 check for overflows. 
check PL_unify_list
 2010-05-04 15:03:12 +01:00
Vítor Santos Costa
f4e2a0b4c8 fix PL_unify_list and atom/functor conversion. 
small speedups.
 2010-05-03 17:02:49 +01:00
Vítor Santos Costa
b9cf8ecf4b optimise case where genarg is know to reduce to arg. 2010-05-03 16:35:51 +01:00
Vitor Santos Costa
31554991c8 better emulation of SWI atom_t and functor_t. 2010-05-03 14:26:56 +01:00
Costa Vitor
fa63422c51 fix warnings in matlab interface. 2010-05-01 06:57:51 -05:00
Vítor Santos Costa II
23d01fc7a6 version 6.0.5 2010-05-01 12:20:28 +01:00
Vítor Santos Costa II
c351637eeb add\0 after CVT_WRITE 2010-04-29 23:45:08 +01:00
Vítor Santos Costa II
030539f33b PL_get_chars: Implement CVT_WRITE and CVT_WRITE_CANONICAL 2010-04-29 23:04:04 +01:00
Vítor Santos Costa II
8d04b08b95 fix PL_cut_query to remove top CP, and fix PL_call_predicate to use PL_cut_query to close, 
and not PL_close_query.
 2010-04-23 16:43:29 +01:00
Vitor Santos Costa
0e0973de42 another that got away (meta-predicate declarations). 2010-04-22 21:05:34 +01:00
Vitor Santos Costa
cd537cfe96 one that go away: meta-pred decls. 2010-04-22 21:04:54 +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
bc2ddcc372 fix SWI's index. 2010-04-22 18:05:23 +01:00
Vítor Santos Costa II
a22aca2f81 fix warning 2010-04-22 16:29:08 +01:00
Vítor Santos Costa II
9ba631824b load_foreign* wasn't exported. 2010-04-22 16:27:32 +01:00
Vítor Santos Costa II
52ef6ae819 improve dialect support (make it less hackhish). 
first  attempt at emulation of autoloader.
 2010-04-22 12:16:37 +01:00
Vítor Santos Costa II
f417933da0 make expansion more robut 2010-04-22 12:15:16 +01:00
Vítor Santos Costa II
e8be4296f3 make ctime accept integers, who knows? 2010-04-22 12:13:57 +01:00
Vítor Santos Costa II
034c585489 listing library is a SWI thing. 2010-04-22 09:07:38 +01:00
Vítor Santos Costa II
39ce07fefb PL_call_predicate should close query, not cut query :( 
ctime should accept a float for SWI compatibility
 2010-04-22 09:00:41 +01:00
Vítor Santos Costa II
1e82155fc9 avoid module clash with SWI's system module. 2010-04-21 14:22:36 +01:00
Vítor Santos Costa II
b0b42d0e31 intersection/3 2010-04-21 00:15:11 +01:00
Vítor Santos Costa II
2566ebcee5 make predsort a system predicate. 2010-04-20 23:49:14 +01:00
Vítor Santos Costa II
d957569e83 fix macro expansion stuff. Everything bounces from maplist now. 2010-04-20 23:11:13 +01:00
Vítor Santos Costa II
ff135d53d2 simplify compatibility 2010-04-20 23:10:40 +01:00
Vítor Santos Costa II
5ab2a97852 use meta-predicates for aggregate (like SWI does now). 2010-04-20 23:09:46 +01:00
Vitor Santos Costa
7e389a5b87 allow a file filter with initialization. 2010-04-18 21:48:00 +01:00
Vítor Santos Costa II
719089b96b make PL_is_initialised honest :) 2010-04-13 00:31:48 +01:00
Vítor Santos Costa II
37bf70fde1 improve dbusage 2010-04-10 21:19:03 +01:00
Ricardo Rocha
fd1f63a73b tries module: bug fix when printing float terms 2010-03-31 19:36:26 +01:00
Ricardo Rocha
6cb0886587 tries module: undo last change on macro MAX_NODES_PER_TRIE_LEVEL 2010-03-31 18:39:38 +01:00
Ricardo Rocha
7b49c14edd tries module: add support for term-ending pairs (pairs of the form [a|b]) 2010-03-31 18:36:13 +01:00
Vitor Santos Costa
03b96b3a60 upgrade to Markus' latest. 2010-03-30 12:46:01 +01:00
Vitor Santos Costa
cfc0a23953 make sublist from hprolog and sublist from yap be the same beast. 2010-03-15 14:19:05 +00:00
Vitor Santos Costa
c4b39d3ab9 update Prolog code: do a cleanup and make delays use SWI interface. 2010-03-12 14:26:35 +00:00
Vitor Santos Costa
c41f6e1906 atts stuff is now a part of prolog. 2010-03-12 08:26:56 +00: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
75d1b897e0 fix fragile export. 2010-03-05 00:00:00 +00:00
Vitor Santos Costa
cef4a27d1c export new_variables_in_term and variables_within_term (obs from Jiefei Ma). 2010-03-04 23:45:33 +00:00
Vitor Santos Costa
c58e9f4562 export attributes. 2010-03-04 23:41:45 +00:00
Vítor Santos Costa II
8f41517e24 del_attrs/1 (for SWI compatibility). 2010-03-03 19:08:17 +00:00
Vitor Santos Costa
ca12a4b959 fix all_distinct/1 (patch from Markus Triska). 2010-03-02 21:35:12 +00:00
Vitor Santos Costa
192aa92b9c fix clpfd back to use exceptions. 2010-03-01 22:32:59 +00:00
Vitor Santos Costa
ba7861b218 fix set_source_module 
add time_file/2 and flag/3 (and current_flag/1).
 2010-02-28 22:19:52 +00:00
Vitor Santos Costa
7a23f016c2 upgrade to more recent clp. 2010-02-28 12:18:26 +00:00
Vitor Santos Costa
db2bee6b9b subsumes_chk is a builtin in SWI-Prolog. 2010-02-28 10:07:36 +00:00
Vitor Santos Costa
ec30e08f69 add user_flags/s prolog_flag 2010-02-28 00:42:47 +00:00
Vitor Santos Costa
ba8d27a265 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-02-26 00:17:12 +00:00
Vitor Santos Costa
9f098a0297 use truncate for integer (ISO standard, obs from Paulo Moura). 2010-02-26 00:16:32 +00:00
Ricardo Rocha
5d0e404191 tries module: fix bug in trie_traverse/2 2010-02-24 18:03:43 +00:00
Ricardo Rocha
42b07768d6 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2010-02-22 14:04:09 +00:00
Ricardo Rocha
71a9be9742 tries module: fix bug in trie_get_first_entry/2 2010-02-22 14:01:56 +00:00
Vitor Santos Costa
4fda6b7488 track recent SWI changes. 2010-02-22 09:35:21 +00:00
Vitor Santos Costa
11e679edfe fix mktime to use local time (fix from Takeyuki Shiramoto). 2010-02-21 00:59:38 +00:00
U-Khasa\Vitor
33190e290d mingw complaint with recent versions of gcc 2010-02-10 03:03:03 -06:00