16
23
24builtin(T) :-
25 nonvar(T),
26 functor(T,F,N),
27 builtin(F,N).
28
29builtin(!,0).
30builtin(true,0).
31builtin(fail,0).
32builtin(succeed,0).
33builtin(trace,0).
34builtin(atom,1).
35builtin(integer,1).
36builtin(number,1).
37builtin(atomic,1).
38builtin(constant,1).
39builtin(functor,3).
40builtin(arg,3).
41builtin(var,1).
42builtin(nonvar,1).
43builtin(call,1).
44builtin(=,2).
45builtin(\=,2).
46builtin(==,2).
47builtin(\==,2).
48builtin(>,2).
49builtin(<,2).
50builtin(>=,2).
51builtin(=<,2).
52builtin(is,2).
53builtin(display,1).
54builtin(write,1).
55builtin(nl,0).
56builtin(infer_by,_).
57builtin(write_proved,_).
58builtin(search,_).
59builtin(search_cost,_).
60builtin(unify,_).
61builtin(identical_member,_).
62builtin(unifiable_member,_).
63builtin(inc_ncalls,0).
65builtin(justification,_).
66builtin(compatible,_).
67builtin(model_initialization,_).
69builtin(herbrand,1).
71builtin(hook1,1).
72builtin(hook2,1).
74builtin(lemmatize,_).
75builtin(dynamic_lemma,_).
76builtin(static_lemma,_).
78builtin(\+,1).
79
81builtin(P,_) :-
82 builtin_predicate(P).
83builtin_predicate(P) :-
84 name(P,L),
85 (name('_pl',L1);
86 name('_db',L1)
87 ),
88 append(_,L1,L)