d7397b43af
new text conversion and string code (big changes, take care please)
2013-12-02 14:49:41 +00:00
3edb01f5f7
more reflection updates
2013-11-26 10:40:00 +01:00
ea99d42897
current_predicate and imports
2013-11-25 23:57:05 +01:00
67b23a2ae4
cleanups
2013-11-25 23:09:03 +01:00
2343494f1e
fix high arity and nth clause
2013-11-25 18:32:11 +01:00
b3ee389d5e
module_property
2013-11-25 16:50:57 +01:00
def97602e2
nth_clause
2013-11-25 16:03:25 +01:00
42d3ca6459
avoid \!
2013-11-25 12:16:10 +01:00
917d5ad75b
line numbers for clauses and clause properties
2013-11-05 17:59:19 +00:00
ad0ff98f1a
use swi flags whenever possible
2013-11-04 01:14:48 +00:00
5b4f355ee0
avoid creating new index in retractall
2013-06-07 09:26:50 -05:00
f83379648c
fix use of exo preds.
2013-01-11 16:45:14 +00:00
2607e59a16
add stash_predicate and fix hide_predicate.
2012-11-25 23:36:43 +00:00
ec0437664c
fix loop in db_dynamic.
2012-07-13 14:56:50 -05:00
e6b48be445
avoid making choice-point.
2012-03-22 21:43:26 +00:00
8d4c9160eb
add compile_predicates/1.
2011-10-21 23:02:07 +01:00
51e635f0c9
more QLY stuff.
2011-08-31 13:59:30 -07:00
b57e809adb
fix bug in public directive.
2011-06-13 01:45:03 +01:00
666ef1877d
itry to respect SWI semantics on expand_goal/2.
2010-12-13 22:03:54 +00:00
ef53ed696b
allow uninstanted arguments in erased_statistics.
2010-10-26 10:07:34 +01:00
6d4d1b1a3a
speedup current_pred
...
fixes from David Powerswq
2010-09-28 01:01:37 +01:00
b2c1523de6
fix different semantics for yapor.
2010-07-31 00:32:54 +01:00
a00c3e13c1
accept // more often as predicate indicator.
2010-02-27 23:07:03 +00:00
34400afd8e
disallow abolish(_).
2010-02-26 10:38:56 +00:00
a1e3aa45ba
protect against assert(1).
2010-02-26 10:22:41 +00:00
b3088710d3
emulate SWI module inheritance mechanism (at least, I hope).
2009-12-04 11:00:13 +00:00
bc4b718afb
follow import recursively so that we don't lose properties like being a
...
meta predicate.
2009-12-03 16:33:44 +00:00
3fc4f71bee
prolog module is visible everywhere.
2009-05-28 21:51:34 -05:00
9a0393e2ce
predicate_property would only return first prop for system pred (obs from Paulo Moura).
2009-05-25 09:57:27 -05:00
e42083a2bb
fix bad call.
2009-04-17 14:18:05 -05:00
6da3d91f78
current_predicate: avoid debugger walking into clauses and make cp(X,M:a(_)) more efficient.
2009-04-16 19:06:49 -05:00
f46ff06f38
get rid of broken $clause/3: fixes listing of dynamic predicates.
2009-03-26 08:12:24 +00:00
8c4c7b4ae5
fix unbound call to current_predicate/2
2008-12-12 22:45:41 +00:00
139f591458
fix catch and throw: make sure we have an environment.
...
use $notrace consistently: note that it only matters if ran from the
debugger, otherwise it is just a meta-call.
2008-09-24 00:13:02 +01:00
7f51339a97
fix syntax error in current_predicate
2008-09-18 17:48:01 +01:00
821cc384a3
allow statistics on data base keys of integers.
...
change pred_entry not to fail on this case.
avoid using functor in this case.
2008-09-15 04:30:09 +01:00
1226b58d8e
The debugger relied on the environment stack. To fix it:
...
- absmi.c now tells who called the debugger, besides who it was calling
- this is used to control whether we allow a goal to be debugged.
- I have creep to start creeping immediately, and signal_creep to tell
the next meta-call to creep what it executes!
- The debugger uses CalledFromTheDebugger to know if it is within the
debugger. If so, we do not need to creep on leaving.
2008-08-30 02:39:36 +01:00
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
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
02497c1172
fix manual and message handling
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2253 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-03 09:24:28 +00:00
73cf1fbafa
fix predicate_property/2
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2240 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-22 21:48:04 +00:00
f1d5e84918
fix bug in current_predicate/2
...
fix bug in c_interface.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2221 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-28 23:02:32 +00:00
3edc72b4c1
fixed a bug in static_clause (thanks to Jose Santos)
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2218 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-14 21:20:36 +00:00
3c3d0de2de
partial fix to predicate_property trouble (obs from Nicos).
...
fix core dump when writing arrays without bignum support.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2217 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-14 17:30:18 +00:00
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
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
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
7a9e7816c9
undo current_predicate changes and make iso fully use LU semantics.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2083 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-08 09:49:21 +00:00
83e941e4cf
don't break ISO standard in current_predicate/1.
...
Include Nicos flag.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2081 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-07 23:09:13 +00:00
a65a9d67ad
changes to import
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2080 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-07 22:34:45 +00:00
Vítor Santos Costa
Vítor Santos Costa
Vítor Santos Costa
vsc