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

102 Commits

Author SHA1 Message Date
Vitor Santos Costa
fe6148ef15 be more cautions about removing prolog: from calls. 2009-11-23 10:15:11 +00:00
Vitor Santos Costa
ffe1dfdfff support for module based operators. 2009-11-20 00:33:14 +00:00
Vitor Santos Costa
f7214090cb make operators defined within a module local to the module, operators in header are still global to every module, though (UN #131). 2009-11-17 00:59:06 +00:00
Vítor Manuel de Morais Santos Costa
3b7e5544f6 m:subgoal should compile subgoal with m as default module (obs from Nuno Fonseca). 2009-11-04 12:29:31 +00:00
Vítor Manuel de Morais Santos Costa
0f4b64d199 make should only look at reconsulted files, it makes no sense to use make for 
consulted files.
 2009-10-16 08:31:23 +01:00
Vitor Santos Costa
557ed169e8 fix processing of meta-arguments. 2009-06-14 22:58:12 -05:00
Vitor Santos Costa
a22f66a4fa don't import everything in a module by default when reexporting it #134 2009-06-14 12:16:54 -05:00
Ulrich Neumerkel
7ae4c887fc Instantiation error for looping :- meta_predicate P. 2009-06-08 20:26:57 -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
Vitor Santos Costa
c7066b43ec first try of setup_call_cleanup/3 and setup_call_catcher_cleanup/4 2009-05-19 23:53:14 -07:00
Vitor Santos Costa
04fa96e8a0 add call_residue_vars (SWI and SICStus 4 compatibility). 2009-05-13 16:43:24 -05:00
Vitor Santos Costa
f668676e72 make a better effort to avoid walking through system code. 2009-04-17 15:46:13 -05:00
Vitor Santos Costa
fc2e01f320 improve code for disjunctions by trying to avoid permanent variables. 2009-03-10 16:24:26 +00:00
Vitor Santos Costa
ad2d073184 allow better writing of inlined operations 
disallow eval.yap
 2009-02-16 21:04:30 +00:00
Vitor Santos Costa
8a3978e3e1 rename BinaryTestPredFlag to BinaryPredFlag 
get rid of small annoying arithmetic bugs
 2009-02-09 21:56:40 +00:00
Vitor Santos Costa
67d9e0ef26 fix compilation of (V;_) where V is unbound (obs from Ingo Molnar). 2008-10-29 18:16:11 +00:00
Vitor Santos Costa
46744810ae support exporting DCG rules as // (swi compatibility). 2008-08-24 14:24:02 +01:00
vsc
2c829f8e5c fixes to module expansion 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2295 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-08-06 00:56:11 +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
8e6403794f fix abolish bug 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2252 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-06-02 17:20:28 +00:00
vsc
316811d2cd user:goal_expand should be called before import 
add extra apply_macros and apply stuff; fix unexisting definitions.
add forall/2 and ignore/1 to system stuff.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2237 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-05-15 13:41:48 +00:00
vsc
1090771c90 fix breakage in module system 
disable stack writing in error for now


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2155 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-03-17 18:31:16 +00:00
vsc
d02bc3de81 update chr 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2143 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-03-13 14:38:02 +00:00
vsc
fda34985b9 fix lists predicates 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2141 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-03-12 17:05:04 +00:00
vsc
c07c5286c0 replace $append by lists:append 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2140 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-03-12 16:26:51 +00:00
vsc
d0cd8182d9 fix path issues when opening files 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2137 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-03-12 15:37:34 +00:00
vsc
17d16e0b14 Big update to support more SICStus/SWI like message handling 
fix YAPSHAREDIR
fix yap.tex (Bernd)


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2107 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-22 15:08:37 +00:00
vsc
6cc240fe7f get rid of silly debugging message. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2101 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-14 16:34:14 +00:00
vsc
88bb8c81aa fix stupid module bug I introduced yesterday :( 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2100 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-14 16:22:42 +00:00
vsc
a4a26478e0 fix some bugs from yesterday plus improve support for modules in 
operators.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2095 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-13 10:15:36 +00:00
vsc
af0fb4f4d9 SWI-portability changes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2088 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-12 17:03:59 +00:00
vsc
64d62f1e3e improve JT 
fix graph compatibility with SICStus
re-export declaration.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2037 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-12-05 12:17:25 +00:00
vsc
3beda27d14 fixes to support threads and assert correctly, even if inefficiently. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2030 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-11-26 23:43:10 +00:00
vsc
42048570f3 speedup meta-calls 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1976 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-11-07 09:25:27 +00:00
pmoura
ce1694aa15 Corrected typo in declaration of meta-predicate with_mutex/2. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1758 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-12-31 19:30:11 +00:00
pmoura
7c0175abbc with_mutex/2 is a meta-predicate. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1755 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-12-31 10:59:16 +00:00
vsc
88f51c97d7 fix some bugs in call_cleanup: the result of action should not matter, 
and !,fail would not wakeup the delayed goal.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1754 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-12-31 01:50:35 +00:00
vsc
4ff41f7a62 improve indexing on floats 
fix sending large lists to DB


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1692 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-09-20 20:03:51 +00:00
vsc
30318bb60d Lots of fixes (check logfile for details 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1585 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-04-05 00:16:55 +00:00
vsc
8ed6f693bb code review 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1576 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-03-24 16:26:31 +00:00
vsc
b8e524424c fix MacOSX interrupt handling 
fix using Yap files as Yap scripts.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1555 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-03-03 23:11:30 +00:00
vsc
90c9397a47 should have meta-predicate definitions for calls, 
multifile and discontiguous.
have discontiguous as a builtin, not just as a
  declaration.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1443 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-11-05 23:56:10 +00:00
vsc
1fa46c6051 sveral updates 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1415 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-10-28 17:38:50 +00:00
vsc
f5fc38a79e SWI compatible module only operators 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1412 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-10-21 16:09:03 +00:00
vsc
e6a15addf5 5.1: 
- improvements to GC
   2 generations
   generic speedups
- new scheme for attvars
   - hProlog like interface also supported
- SWI compatibility layer
   - extra predicates
   - global variables
   - moved to Prolog module
- CLP(R) by Leslie De Koninck, Tom Schrijvers, Cristian Holzbaur, Bart
Demoen and Jan Wielemacker
- load_files/2

from 5.0.1

- WIN32 missing include files (untested)
- -L trouble (my thanks to Takeyuchi Shiramoto-san)!
- debugging of backtrable user-C preds would core dump.
- redeclaring a C-predicate as Prolog core dumps.
- badly protected  YapInterface.h.
- break/0 was failing at exit.
- YAP_cut_fail and YAP_cut_succeed were different from manual.
- tracing through data-bases could core dump.
- cut could break on very large computations.
- first pass at BigNum issues (reported by Roberto).
- debugger could get go awol after fail port.
- weird message on wrong debugger option.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1402 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-10-18 17:04:43 +00:00
vsc
a396b732f7 missing ! in module option processing code.: 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1339 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-07-06 15:51:01 +00:00
vsc
52a46e5c5d fix mess with add clause 
improves on sigsegv handling


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1239 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-02-08 04:05:39 +00:00
vsc
5143aebb01 try to reduce overheads when running with goal expansion enabled. 
CLPBN fixes
Handle overflows when allocating big clauses properly.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1193 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-12-05 05:01:45 +00:00
vsc
21a3377248 debugger fixes 
initial support for JPL
bad calls to garbage collector and gc
debugger fixes


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1096 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-07-22 21:32:23 +00:00
vsc
a7f550d667 New comment-based message style 
Fix thread support (at least don't deadlock with oneself)
small fixes for coroutining predicates
force Yap to recover space in arrays of dbrefs
use private predicates in debugger.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1084 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-06-23 17:24:20 +00:00