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

472 Commits

Author SHA1 Message Date
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