fix meta-predicate declarations.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@421 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
de244d1d01
commit
a4c275daf2
@ -530,7 +530,22 @@ source_module(Mod) :-
|
||||
assertz(:),
|
||||
assertz(:,+),
|
||||
bagof(?,:,?),
|
||||
bb_get(:,-),
|
||||
bb_put(:,+),
|
||||
bb_delete(:,?),
|
||||
bb_update(:,?,?),
|
||||
call(:),
|
||||
call_with_args(:),
|
||||
call_with_args(:,?),
|
||||
call_with_args(:,?,?),
|
||||
call_with_args(:,?,?,?),
|
||||
call_with_args(:,?,?,?,?),
|
||||
call_with_args(:,?,?,?,?,?),
|
||||
call_with_args(:,?,?,?,?,?,?),
|
||||
call_with_args(:,?,?,?,?,?,?,?),
|
||||
call_with_args(:,?,?,?,?,?,?,?,?),
|
||||
call_with_args(:,?,?,?,?,?,?,?,?,?),
|
||||
catch(:,+,:),
|
||||
clause(:,?),
|
||||
clause(:,?,?),
|
||||
compile(:),
|
||||
@ -542,43 +557,26 @@ source_module(Mod) :-
|
||||
findall(?,:,?,?),
|
||||
if(:,:,:),
|
||||
incore(:),
|
||||
listing(?),
|
||||
listing(:),
|
||||
nospy(:),
|
||||
not(:),
|
||||
phrase(:,?),
|
||||
phrase(:,?,+),
|
||||
predicate_property(:,?),
|
||||
on_exception(+,:,:),
|
||||
reconsult(:),
|
||||
retract(:),
|
||||
retract(:,?),
|
||||
retractall(:),
|
||||
reconsult(:),
|
||||
setof(?,:,?),
|
||||
spy(:),
|
||||
^(+,:),
|
||||
\+(:),
|
||||
catch(:,+,:),
|
||||
on_exception(+,:,:),
|
||||
unknown(+,:),
|
||||
bb_get(:,-),
|
||||
bb_put(:,+),
|
||||
bb_delete(:,?),
|
||||
bb_update(:,?,?),
|
||||
use_module(:),
|
||||
use_module(:,?),
|
||||
use_module(?,:,?),
|
||||
consult(:),
|
||||
reconsult(:),
|
||||
compile(:),
|
||||
ensure_loaded(:),
|
||||
call_with_args(:),
|
||||
call_with_args(:,?),
|
||||
call_with_args(:,?,?),
|
||||
call_with_args(:,?,?,?),
|
||||
call_with_args(:,?,?,?,?),
|
||||
call_with_args(:,?,?,?,?,?),
|
||||
call_with_args(:,?,?,?,?,?,?),
|
||||
call_with_args(:,?,?,?,?,?,?,?),
|
||||
call_with_args(:,?,?,?,?,?,?,?,?),
|
||||
call_with_args(:,?,?,?,?,?,?,?,?,?).
|
||||
^(+,:),
|
||||
\+(:).
|
||||
|
||||
|
||||
%
|
||||
|
Reference in New Issue
Block a user