YAP 7.1.0
metadecls.yap
Go to the documentation of this file.
1
2/**
3 * @file metadecls.yap
4 * @author VITOR SANTOS COSTA <vsc@vcosta-laptop.dcc.fc.up.pt>
5 * @date Sat Apr 7 03:08:03 2018
6 *
7 * @brief meta=declarations, must be run early.
8 */
9
10 /**
11 * @addtogroup Meta-Calls The Module System versus the meta-call.
12 * @ingroup YAPMetaPredicates
13 * @{
14 *
15*/
16
17
18:- '$install_meta_predicate'((0,0),prolog, (',') , 2).
19
20:- meta_predicate
21abolish(:),
22 abolish(:,+),
23 alarm(+,0,-),
24 all(?,0,-),
25 assert(:),
26 assert(:,+),
27 assert_static(:),
28 asserta(:),
29 asserta(:,+),
30 asserta_static(:),
31 assertz(:),
32 assertz(:,+),
33 assertz_static(:),
34 at_halt(0),
35 bagof(?,0,-),
36 bb_get(:,-),
37 bb_put(:,+),
38 bb_delete(:,?),
39 bb_update(:,?,?),
40 call(0),
41 call(1,?),
42 call(2,?,?),
43 call(3,?,?,?),
44 call_with_args(0),
45 call_with_args(1,?),
46 call_with_args(2,?,?),
47 call_with_args(3,?,?,?),
48 call_with_args(4,?,?,?,?),
49 call_with_args(5,?,?,?,?,?),
50 call_with_args(6,?,?,?,?,?,?),
51 call_with_args(7,?,?,?,?,?,?,?),
52 call_with_args(8,?,?,?,?,?,?,?,?),
53 call_with_args(9,?,?,?,?,?,?,?,?,?),
54 call_cleanup(0,0),
55 call_cleanup(0,?,0),
56 call_residue(0,?),
57 call_residue_vars(0,?),
58 call_shared_object_function(:,+),
59catch(0,?,0),
60 clause(:,?),
61 clause(:,?,?),
62 current_predicate(:),
63 current_predicate(?,:),
64 depth_bound_call(0,+),
65 findall(?,0,-),
66 findall(?,0,-,?),
67 forall(0,0),
68 format(+,:),
69 format(+,+,:),
70 freeze(?,0),
71 hide_predicate(:),
72 if(0,0,0),
73 ignore(0),
74 incore(0),
75 initializion(0),
76 initializion(0,+),
77 nospy(:),
78 not(0),
79 notrace(0),
80 once(0),
81 phrase(2,?),
82 phrase(2,?,+),
83 predicate_property(:,?),
84 predicate_statistics(:,-,-,-),
85 on_exception(+,0,0),
86 qsave_program(+,:),
87 retract(:),
88 retract(:,?),
89 retractall(:),
90 reconsult(:),
91 setof(?,0,-),
92 setup_call_cleanup(0,0,0),
93 setup_call_catcher_cleanup(0,0,?,0),
94 spy(:),
95 stash_predicate(:),
96 when(+,0),
97 with_mutex(+,0),
98 with_output_to(?,0),
99 '->'(0 , 0),
100 '*->'(0 , 0),
101 ';'(0 , 0),
102 ^(+,0),
103 {}(0,?,?),
104 ','(2,2,?,?),
105 ';'(2,2,?,?),
106 '|'(2,2,?,?),
107 ->(2,2,?,?),
108 \+(2,?,?),
109 \+( 0 ).
110
111%% @}
112
abolish/1
abolish(+ PredSpec)
assert_static/1
assert_static(: C)
asserta_static/1
asserta_static(: C)
assertz_static/1
assertz_static(: C)
clause/1
clause( +Term )
current_predicate/1
current_predicate( F )
format/1
format(+ T)
hide_predicate/1
hide_predicate(+ Pred)
stash_predicate/1
stash_predicate(+ Pred)
assert/1
assert(+ C)
asserta/1
asserta(+ C)
assertz/1
assertz(+ C)
retract/1
retract(+ C)
retractall/1
retractall(+ G)
nospy/1
nospy( + P )
Definition: spy.yap:150
spy/1
spy( + P )
call/1
call( 0:P )
call_cleanup/2
call_cleanup(: Goal, : CleanUpGoal)
forall/2
forall(: Cond,: Action)
if/3
if(? G,? H,? I)
ignore/1
ignore(: Goal)
incore/1
incore( 0:P )
once/1
once( 0:G)
setup_call_cleanup/3
setup_call_cleanup(: Setup,: Goal, : CleanUpGoal)
reconsult/1
reconsult(+ F )