diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

should have meta-predicate definitions for calls,

Browse Source 
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
This commit is contained in:
vsc 2005-11-05 23:56:10 +00:00
parent 7aef2d7426
commit 90c9397a47
3 changed files with 22 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
changes-5.1.html
View File

@ -16,6 +16,10 @@
<h2>Yap-5.1.0:</h2> <h2>Yap-5.1.0:</h2>
<ul> <ul>
<li> FIXED: should have meta-predicate definitions for calls,
multifile and discontiguous. </li>
<li> FIXED: have discontiguous as a builtin, not just as a
declaration. </li>
<li> FIXED: if first argument was unbound, comparisons might be <li> FIXED: if first argument was unbound, comparisons might be
called with second argument undereferenced!! </li> called with second argument undereferenced!! </li>
<li> FIXED: strip ^ before doing execute in setof or bagof. </li> <li> FIXED: strip ^ before doing execute in setof or bagof. </li>

14
pl/checker.yap
View File

@ -11,8 +11,11 @@
* File: checker.yap * * File: checker.yap *
* comments: style checker for Prolog * * comments: style checker for Prolog *
* * * *
* Last rev: $Date: 2005-10-28 17:38:50 $,$Author: vsc $ * * Last rev: $Date: 2005-11-05 23:56:10 $,$Author: vsc $ *
* $Log: not supported by cvs2svn $ * $Log: not supported by cvs2svn $
* Revision 1.19 2005/10/28 17:38:50 vsc
* sveral updates
*
* Revision 1.18 2005/04/20 20:06:11 vsc * Revision 1.18 2005/04/20 20:06:11 vsc
* try to improve error handling and warnings from within consults. * try to improve error handling and warnings from within consults.
* *
@ -212,6 +215,15 @@ no_style_check([H|T]) :- no_style_check(H), no_style_check(T).
'$multifile'(P, M) :- '$multifile'(P, M) :-
'$do_error'(type_error(predicate_indicator,P),multifile(M:P)). '$do_error'(type_error(predicate_indicator,P),multifile(M:P)).
discontiguous(V) :-
var(V), !,
'$do_error'(instantiation_error,discontiguous(V)).
discontiguous(M:F) :- !,
'$discontiguous'(F,M).
discontiguous(F) :-
'$current_module'(M),
'$discontiguous'(F,M).
'$discontiguous'(V,M) :- var(V), !, '$discontiguous'(V,M) :- var(V), !,
'$do_error'(instantiation_error,M:discontiguous(V)). '$do_error'(instantiation_error,M:discontiguous(V)).
'$discontiguous'((X,Y),M) :- !, '$discontiguous'((X,Y),M) :- !,

5
pl/modules.yap
View File

@ -458,6 +458,9 @@ source_module(Mod) :-
bb_delete(:,?), bb_delete(:,?),
bb_update(:,?,?), bb_update(:,?,?),
call(:), call(:),
call(:,?),
call(:,?,?),
call(:,?,?,?),
call_with_args(:), call_with_args(:),
call_with_args(:,?), call_with_args(:,?),
call_with_args(:,?,?), call_with_args(:,?,?),
@ -479,6 +482,7 @@ source_module(Mod) :-
current_predicate(:), current_predicate(:),
current_predicate(?,:), current_predicate(?,:),
depth_bound_call(:,+), depth_bound_call(:,+),
discontiguous(:),
ensure_loaded(:), ensure_loaded(:),
findall(?,:,?), findall(?,:,?),
findall(?,:,?,?), findall(?,:,?,?),
@ -487,6 +491,7 @@ source_module(Mod) :-
if(:,:,:), if(:,:,:),
incore(:), incore(:),
listing(:), listing(:),
multifile(:),
nospy(:), nospy(:),
not(:), not(:),
once(:), once(:),