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
Vitor Santos Costa
74f3142499
faster calls
2010-01-26 22:26:08 +00:00
Vitor Santos Costa
110f1c7977
improve SWI interface compatibility
2010-01-26 12:21:06 +00:00
Vitor Santos Costa
0d38d67dfa
add missing interface functions.
2010-01-25 12:29:51 +00:00
Vítor Manuel de Morais Santos Costa
d3f0410c7d
include PL_get_intptr
2010-01-15 16:21:43 +00:00
Vítor Manuel de Morais Santos Costa
af32dc1a9c
make cut_c default.
2010-01-15 15:09:18 +00:00
Vitor Santos Costa
ff628b8e78
move to more recent interface.
2010-01-15 00:49:05 +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
5fc26e1b45
improve emulataion of backtrackable SWI c-code (request from NF).
2010-01-06 11:25:15 -02:00
Vitor Santos Costa
6d1eec34db
make atom locking compatible with SWI-Prolog.
2009-12-21 10:12:47 -02:00
Vítor Manuel de Morais Santos Costa
b69c0ba2a9
add to API
2009-12-12 23:21:25 +00:00
Vítor Manuel de Morais Santos Costa
72e2a9658e
make volatile part of the system (SWI compatibility).
2009-12-04 18:24:22 +00:00
Vitor Santos Costa
b3088710d3
emulate SWI module inheritance mechanism (at least, I hope).
2009-12-04 11:00:13 +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
742979eb9c
maplist and friends should be exported from apply, not builtins (obs from Jan Wielemaker).
2009-12-03 16:33:10 +00:00
Vitor Santos Costa
dcf0c87e8a
apply should export all versions of maplist ( #157 )
2009-12-03 16:31:23 +00:00
Vitor Santos Costa
e973a3ea40
fix SWI emulation of maplist to use meta_predicate instead of module_transparent.
2009-12-03 10:36:36 +00:00
Vitor Santos Costa
344a0a6e87
make sure expand_macros only expands predicates visible to the module.
2009-12-03 10:16:15 +00:00
Ricardo Rocha
f01283bd28
new primitives trie_get_first_entry/2 and trie_get_last_entry/2 in tries module
2009-11-27 19:10:36 +00:00
Vítor Manuel de Morais Santos Costa
b16623d026
fix realloc and friends (obs from Nuno Fonseca).
2009-11-27 13:31:03 +00:00
Vitor Santos Costa
1136597f6f
fix debugging info (obs from Jose Santos).
2009-11-23 23:43:12 +00:00
Vitor Santos Costa
025ee58f58
some SWI predicates became system predicate. Add stubs for $ predicates.
2009-11-23 10:12:10 +00:00
Vitor Santos Costa
a132707746
undo PL_error updates
2009-11-21 22:21:17 +00:00
nf@khaixa.(none)
1bfbe535da
Extended support for SWI-Prolog C interface.
2009-11-20 08:42:22 +00:00
Vitor Santos Costa
a2927c4a72
=@= needs not be in lib.
2009-11-20 00:32:45 +00:00
Vítor Manuel de Morais Santos Costa
995b82cc6e
Nuno Fonseca's trie writing updates.
2009-11-03 14:37:12 +00:00
Vitor Santos Costa
9303efd6d6
fix singleton warning.
2009-10-23 23:54:00 +01:00
Vitor Santos Costa
981d060ffb
fix nth/4 going backwards (obs from Daniel Diaz).
2009-10-23 23:19:55 +01:00
Vitor Santos Costa
0ea348c26d
extend SWI interface with PL_toplevel and to handle C++ code.
...
prolog/0 built-in
fixes to parms.h changes.
2009-10-23 16:50:43 +01:00
Vítor Manuel de Morais Santos Costa
ff31aa4a7c
assign value to attributed variable
2009-10-16 08:32:03 +01:00
Vítor Manuel de Morais Santos Costa
d649ba5894
first cut at make/0y
2009-10-15 12:56:16 +01:00
Vitor Santos Costa
ef05f4a919
how did append/3 come up twice in lists?
2009-09-09 18:00:04 -05:00
Vitor Santos Costa
e1a724e456
allow unification not to bound a variable.
2009-09-09 17:59:49 -05:00
Costa Vitor
6453cf5ae7
avoid unnecessary backtracking.
2009-08-19 20:23:20 -05:00
U-Khasa\Vitor
868c7158ab
improve SWI emulation in WIN32
2009-07-20 20:56:54 -07:00
U-Khasa\Vitor
2020a31362
mingw compilation
2009-07-18 13:38:38 -07:00
Costa Vitor
a69a34f3a5
fields/ library predicate, to return empty fields.
2009-07-15 17:30:27 -05:00
Vitor Santos Costa
ad30c36626
fix overflow testing in matrix_to_list
2009-07-13 21:57:01 -05:00
Ricardo Rocha
cd2902f0d8
deleting old files for trie library
2009-07-01 16:35:21 +01:00
Costa Vitor
b7b3abb2c7
very old machines and gcc may not have isinf
2009-06-15 14:58:57 -05:00
Vitor Santos Costa
9aae90680e
fix maplist metapredicates in SWI.
2009-06-14 22:57:45 -05:00
Costa Vitor
91b09d7382
do not do macro_expansion from goal, only when consulting.
2009-06-14 19:44:36 -05:00
Costa Vitor
c3e84c9aaf
fix SWI emulation of maplist
2009-06-14 19:44:10 -05:00
Costa Vitor
76e5fa69e4
maplist: instead of trying to be smart, just create a new predicate per expanded metacall ( #133 )
2009-06-14 18:55:59 -05:00
Costa Vitor
f4856cf8d0
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
...
Conflicts:
library/wundgraphs.yap
2009-06-10 14:09:30 -05:00
Vitor Santos Costa
5dd3aa5782
fix wneighbors
2009-06-10 12:42:45 -05:00
Vitor Santos Costa
4421f177b5
more module fixes (obs from Paulo Moura).
2009-06-10 12:35:13 -05:00
Vitor Santos Costa
4b19db742d
fix module problems (obs from Paulo Moura).
2009-06-10 11:36:28 -05:00
Costa Vitor
7ffbfdbc77
should use use_module, not ensure_loaded.
2009-06-08 14:14:26 -05:00
Costa Vitor
1e55e2f388
fix bad calls (obs from Paulo Moura).
2009-06-08 14:13:31 -05:00
Costa Vitor
982cf95bf6
fix warnings (rep from Paulo Moura)
2009-06-05 18:46:01 -05:00
Vitor Santos Costa
dd6426b3b9
fix dbqueues (obs from Paulo Moura).
2009-06-05 14:31:06 -05:00
Vitor Santos Costa
6983a45a43
improve a bit implementation of attr operations.
2009-06-05 09:48:22 -05:00
Vitor Santos Costa
b5a5e10544
fix warning.
2009-06-04 10:26:27 -05:00
Vitor Santos Costa
5a4d16790d
fix bad bracket for non GMP (Simon Strobl, #117 )
2009-06-04 10:21:24 -05:00
Vitor Santos Costa
d42a2dc225
make yap2swi compile without GMP (obs from Tony Wilson).
2009-06-03 20:21:45 -05:00
Costa Vitor
7f54acb536
separate standard alarm from virtual alarm. timeout uses virtual alarm #112
2009-06-03 10:09:14 -05:00
Ulrich Neumerkel
6714048c9d
Forgotten change to virtual
2009-06-02 15:12:57 -05:00
Vitor Santos Costa
484595df5b
improve error handling.
2009-06-01 22:55:18 -05:00
Vitor Santos Costa
256d322f43
try to fix weird calling conventions of SWI.
2009-06-01 21:49:24 -05:00
Vitor Santos Costa
217afd3a72
fix undefined virtual_alarm
2009-06-01 21:30:56 -05:00
Costa Vitor
8870a1e661
define virtual timer and use it for timeout ( #96 )
2009-06-01 19:49:03 -05:00
Costa Vitor
251ac240b6
fix bad compilation of varargs preds.
2009-06-01 19:29:16 -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
01f80f8116
-1 is the error in datime
2009-06-01 16:42:17 -05:00
Vitor Santos Costa
b8f60c623d
improvements to SWI compatibility
2009-06-01 15:38:39 -05:00
Vitor Santos Costa
d6ed058157
first pass at a decent implementation of PL_error ( #95 )
...
- basically copy SWI code.
2009-05-30 12:52:23 -05:00
Ulrich Neumerkel
5760986b2f
Forgotten failure - found by #22
2009-05-28 21:13:51 -05:00
Ulrich Neumerkel
c2bd671bfd
time_out/3: Give every alternative the full timeout time #86
2009-05-27 18:21:25 -05:00
Ulrich Neumerkel
f9342e835d
What's wrong with this one? Of course, the granularity of the alarms is a problem. And the inability to nest.
2009-05-27 16:01:44 -05:00
Costa Vitor
f11eeb2967
be more careful to handle throws.
2009-05-26 17:24:49 -05:00
Costa Vitor
e6129e84b7
unnecessary disable_interrupts ( #69 )
2009-05-26 16:57:27 -05:00
Vitor Santos Costa
de7474a5d9
allow inplace operations.
2009-05-26 10:48:45 -05:00
Vitor Santos Costa
99ac4f4d4a
handle SWI style goal expansion natively, instead of trying to be smart.
2009-05-24 19:18:52 -05:00
Costa Vitor
b93e5fd300
fix warning
2009-05-22 19:20:53 -05:00
Costa Vitor
d7135f06e9
fix charsio.
2009-05-21 19:15:12 -05:00
Vitor Santos Costa
f9533c8757
fix backtracking in timeout.
2009-05-21 01:30:24 -05:00
Vitor Santos Costa
56fa3499b1
oops
2009-05-21 01:08:34 -05:00
Vitor Santos Costa
f3e4148511
fix bad behavior of time_out by making sure interrupts are disabled during critical operation, up
...
to setting a throw.
2009-05-21 00:39:57 -05:00
Vitor Santos Costa
c3974d49eb
allow users to disable interrupts, if so inclined.
2009-05-21 00:39:44 -05:00
Vitor Santos Costa
2020a19e69
fix format_to_chars/4 (Ulrich Neumerkel #62 )
2009-05-20 09:14:48 -07:00
Ulrich Neumerkel
b38505cff2
FIXED: time_out output argument, exceptions (unhappy about once)
...
?- time_out(true,3600,time_out).
yes
?- catch(time_out(throw(x),3600,R),x,length(L,L)).
ERROR!!
UNHANDLED EXCEPTION - message time_out unknown
2009-05-19 23:58:35 -07:00
Vitor Santos Costa
ced3448c9a
error.pl should not be here (obs from Ulrich Neumerkel).
2009-05-04 11:41:01 -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
496349e38a
do not compile regex packages unnecessarily
2009-05-01 12:45:21 -05:00
Vitor Santos Costa
6c10e49eb8
remove debugging writeln
2009-04-26 10:56:19 -05:00
Vitor Santos Costa
3fff188701
fix maplist and friends to handle non-var non-ground arguments (obs from Jose Santos).
2009-04-26 10:46:53 -05:00
Vitor Santos Costa
710d15e506
fix numlist/3
2009-04-25 13:00:09 -05:00
Vitor Santos Costa
8ffcaf612e
fix emulation of goal_expansion.
2009-04-25 12:56:01 -05:00
Vitor Santos Costa
c04eb48f12
new version of clpfd.pl
2009-04-25 12:55:23 -05:00
Vitor Santos Costa
065a88d0cc
fix grammer expansion.
2009-04-24 21:41:26 -05:00
Vítor Santos Costa
eef4b3cad2
fix apply_macros calling maplist (not that it is very much used, most
...
of always will go through expand_macros).
2009-04-24 22:48:24 +01:00
Vítor Santos Costa
23e258bdd4
fix the apply_macros/maplist conundrum!
2009-04-24 22:43:08 +01:00
Vítor Santos Costa
1c053da021
support missing SWI functionality: phrase/2 and phrase/3.
2009-04-24 21:45:41 +01:00
Vítor Santos Costa
8a4fb12d75
is_list is now a builtin.
2009-04-24 21:03:10 +01:00
Vitor Santos Costa
b5dc71d080
is_list/1 is now a builtin.
2009-04-24 10:31:53 -05:00
Vitor Santos Costa
154bc2cde1
make sure we export definitions here.
2009-04-21 08:29:28 -05:00
Vitor Santos Costa
2e7e3c156d
fix volatile.
2009-04-21 08:29:02 -05:00
Vitor Santos Costa
dba3444a04
fix stack for construction of deep terms in PL_unify.
2009-04-18 18:49:12 -05:00
Vitor Santos Costa
9c0831d18a
one little step forward with PL_signals.
2009-04-18 15:21:02 -05:00
Vitor Santos Costa
b159736edd
fixes for 64 bits.
2009-04-14 01:25:21 +01:00
Vitor Santos Costa
d05dfc3283
allow different comparison functions in b_hash
2009-04-04 23:57:46 +01:00
Vitor Santos Costa
cc7ff82275
term_hash non non_ground terms: ignoring the variables.
2009-03-31 21:56:12 +01:00
Vitor Santos Costa
67b29f3c85
improve SWI compatibility.
2009-03-13 19:40:27 +00:00
Vitor Santos Costa
66931e6518
Prolog dialect support
2009-03-06 10:59:02 +00:00
Vitor Santos Costa
d98c3f0817
add support for sized queues.
2009-02-27 22:22:49 +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
3439cc8787
From Jose Santos: rb_map is a meta_predicate!
2009-02-10 22:53:40 +00:00
Vítor Santos Costa
43e70f2003
more changes to support SWI Input/Output. Now it compiles, which does
...
not mean it would work!
2008-12-22 12:03:14 +00:00
Vítor Santos Costa
e51a4c2f5b
more changes to interface better with SWI-Prolog
2008-12-19 11:41:56 +00:00
Vítor Santos Costa
a2744ed186
further changes to better support SWI interface.
2008-12-17 14:47:05 +00:00
Vítor Santos Costa
f19db29647
support split on blank spaces (tab and spaces).
2008-12-17 14:46:39 +00:00
Vítor Santos Costa
2b0c27deb6
Remove attempt to emulate SWI I/O
...
add YAP_getcwd and PL_cwd to interface
2008-12-13 16:07:55 +00:00
Vitor Santos Costa
a64c1138df
more CLP(BN) fixes
...
- support clpbn_table for an efficient implementation of deterministic tabling.
- corresponding changes to learning algorithm.
2008-11-18 11:29:59 +00:00
Vitor Santos Costa
abf9691282
fixes to hashing code.
2008-11-18 11:29:08 +00:00
Vitor Santos Costa
1be78e23ec
had shortcut for var-to-var unification.
2008-11-14 14:54:52 +00:00
Vitor Santos Costa
8e9fde1c6c
backtrack global hash table.
2008-11-14 14:50:04 +00:00
Vitor Santos Costa
13fb5d5156
fix underflows when computing marginals.
2008-11-04 03:55:49 +00:00
Vitor Santos Costa
8938666bf5
add sum_list/3
2008-11-03 16:00:22 +00:00
Vitor Santos Costa
4a2aa23c5b
more CLP(BN) fixes, add softening option when computing MLE estimators.
2008-10-31 15:11:27 +00:00
Vitor Santos Costa
9c1ee7ba34
add matrix_row to get a row of a matrix
...
fix a bit of error handling.
2008-10-31 09:47:58 +00:00
Vitor Santos Costa
aca06e16fc
fix bad call to map_tree (obs from Paulo Moura).
2008-10-31 09:42:32 +00:00
Vitor Santos Costa
0dcf34b7bc
mainbranch fixes to:
...
- fix quoted characters output
- fix line position in read_term and friends
- make messages look a bit better
- CLP(BN) EM improvements.
2008-10-23 22:17:45 +01:00
Vítor Santos de Costa
b3cb7b1071
add log/2 and exp/2
2008-10-22 00:40:15 +01:00
Vítor Santos Costa
9c3ef66490
fix OSX breakage
2008-10-20 17:58:12 +01:00
Vitor Santos Costa
83c6d45cbc
fixed: bad argument passing in expand_component.
2008-09-30 11:46:49 +01:00
Vítor Santos Costa
65ccd336b2
fix a stupid threads bug
2008-09-04 16:58:45 +01:00
Vitor Santos Costa
83ebf097df
add support for dbusage
2008-09-01 04:45:55 +01:00
Vitor Santos Costa
236ffa0718
add useful debugging info on data base usage.
2008-09-01 04:45:16 +01:00
Vitor Santos Costa
2a53a46d12
document lineutils
2008-09-01 04:44:54 +01:00
Vitor Santos Costa
2a84e259a2
Upgrade to new CHR (with Jan's changes).
...
Found out I need to add an extra field to allocate so that the
exception handling code knows where the clause is.
Protect creep_allowed from NULL pointers.
2008-08-30 16:24:44 +01:00
Vitor Santos Costa
24c2650472
get rid of suprious definition of $message
2008-08-27 00:43:40 +01:00
Vitor Santos Costa
6f0b3cf2f5
fix flatten/2: it would not create variable elements.
2008-08-25 20:41:09 +01:00
Vitor Santos Costa
8169ef0343
fix stack_dump
2008-08-25 15:20:18 +01:00
Vitor Santos Costa
a72355f288
redefine arg/3 as genarg/3 unless first argument is bound on call.
...
term_variables/3 and /2 is now a builtin-in, and thus not in the interace.
2008-08-24 14:25:04 +01:00
Vítor Santos Costa
d96461f04c
add missing files
2008-08-21 13:39:56 +01:00
vsc
82efc8fb2c
small fixes to compile in Windows again.
...
Trust _isatty
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2311 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-22 01:59:48 +00:00
vsc
d170b34624
MaxOS fixes
...
Avoid a thread deadlock
improvements to SWI predicates.
make variables_in_term system builtin.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2304 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-12 01:27:23 +00:00
vsc
dbd6e1b139
fix fix
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2298 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-06 17:34:15 +00:00
vsc
85d7d39dbf
more thread fixes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2297 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-06 17:32:22 +00:00
vsc
a3983fa820
swi compatibility support
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2294 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-01 21:44:25 +00:00
vsc
e1866e2917
improve C-interface and SWI comptaibility a bit.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2292 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-07-24 16:02:04 +00:00
vsc
75c72d7b7d
SWI and module fixes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2290 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-07-22 23:34:50 +00:00
vsc
d832a81991
add extra versions to maplist and fix apply macros to handle predicates
...
with the same aargument.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2288 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-07-16 10:45:47 +00:00
