From a4c275daf264c8100d8f6173576a80bde999c7c4 Mon Sep 17 00:00:00 2001 From: vsc Date: Sun, 17 Mar 2002 15:25:30 +0000 Subject: [PATCH] fix meta-predicate declarations. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@421 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- pl/modules.yap | 44 +++++++++++++++++++++----------------------- 1 file changed, 21 insertions(+), 23 deletions(-) diff --git a/pl/modules.yap b/pl/modules.yap index fd3b4e76e..5d3b6a8ae 100644 --- a/pl/modules.yap +++ b/pl/modules.yap @@ -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(:,?,?,?,?,?,?,?,?,?). + ^(+,:), + \+(:). %