Evaluable Predicates of SB-Prolog

An entry of ``B'' indicates a builtin predicate, ``I'' an inline predicate, and ``L'' a library predicate. A ``P'' indicates that the predicate is handled by the preprocessor during compilation and/or consulting. A ``D'' denotes a compiler directive.


!/0 (P), 26 < /2 (I), 24 = < /2 (I), 24 = \  = /2 (I), 24 > /2 (I), 24 > =/2 (I), 24 \ =/2 (I), 25 \  = = /2 (B), 30 ∧/2 (L), 29 ,/2 (I), 25 -> /2 (P), 26 :–/1 (P), 11 ::–/2 (P), 56 ;/2 (I), 25 =../2 (L), 27 =/2 (I), 25 =:=/2 (I), 24 ==/2 (B), 30 ?=/2 (I), 25 < /2 (B), 30 = < /2 (B), 31 > /2 (B), 30 > = /2 (B), 31 $absmember/2 (L), 65 $alloc_buff/5 (L), 42 $append/3 (L), 65 $asm/3, 52 $assertf_alloc_t (L), 43 $current_atom/2 (L), 36 $current_functor/3 (L), 36 $current_predicate/3 (L), 37 $db_add_clref/7 (L), 43 $db_assert_fact/5 (L), 43 $db_call_prref/2 (L), 44 $db_call_prref_s/2 (L), 44 $db_get_clauses/3 (L), 44 $db_new_prref/3 (L), 43 $exists/1 (B), 21 $getenv/2 (L), 38 $member/2 (L), 65 $member2/2 (L), 66 $memberchk/2 (L), 65 $merge/3 (L), 65 $nthmember/3 (L), 65 $reverse/2 (L), 65 $trace/0 (L), 47 $untrace/0 (L), 47 _$interrupt/2 (L), 49 `C'/3 (L), 62

abolish/1 (L), 35 abolish/2 (L), 35 abort/0 (B), 38 alloc_heap/2 (L), 32 alloc_perm/2 (L), 32 arg/3 (I), 27 assert/1 (L), 33 assert/2 (L), 33 assert/4 (L), 34 assert_union/2 (L), 33 asserta/1 (L), 33 asserta/2 (L), 33 asserti/2 (L), 33 assertz/1 (L), 33 assertz/2 (L), 33 atom/1 (B), 26 atomic/1 (B), 27

bagof/3 (L), 29 break/0 (L), 38

call/1 (P), 28 call_ref/2 (L), 42 call_ref/3 (L), 42 clause/2 (L), 34 clause/3 (L), 35 compare/3 (B), 31 compile/1 (L), 8 compile/2 (L), 8 compile/3 (L), 8 compile/4 (L), 8 conlength/2 (B), 28 conlength/2 (L), 32 consult/1 (L), 10 consult/2 (L), 10 count/1 (L), 63 countpreds/1 (L), 64 cputime/1 (B), 38 current_atom/1 (L), 36 current_functor/2 (L), 36 current_predicate/2 (L), 37

dcg/2 (L), 61 debug/0 (L), 46 debugging/0 (L), 46 display/1 (L), 21

erase/1 (L), 36 et/1 (L), 59 et_answers/2 (L), 60 et_calls/2 (L), 60 et_points/1 (L), 59 et_remove/1 (L), 60 et_star/1 (L), 59 eval/2 (L), 24 exp/2 (B), 25 expand_term/2 (L), 62

fail/0 (I), 26 findall/3 (L), 29 float/1 (I), 27 floatc/3 (B), 24 floor/2 (B), 24 functor/3 (L), 27

gennum/1 (L), 41 gensym/2 (L), 42 get/1 (B), 22 get0/1 (B), 22 globalset/1 (L), 41

index/3 (D), 54 instance/2 (L), 36 integer/1 (I), 26 is/2 (L), 24 is_buffer/1 (B), 27

keysort/2 (L), 31

length/2 (L), 66 listing/0 (L), 36 listing/1 (L), 36 load/1 (B), 9

mode/3 (D), 53

name/2 (B), 28 nl/0 (B), 22 nocount/1 (L), 63 nodebug/0 (L), 46 nodynload/2 (L), 39 noet/1 (L), 60 nonvar/1 (I), 26 noprofile/0 (L), 64 nospy/1 (L), 46 not/1 (P), 26 notime/1 (L), 63 number/1 (B), 27

op/3 (L), 15, 38

phrase/2 (L), 61 portray_clause/2 (L), 22 portray_term/2 (L), 22 predicate_property/2 (L), 37 print/1 (L), 21 print_al/2 (L), 22 print_ar/2 (L), 22 prof_reset/1 (L), 64 prof_stats/0 (L), 64 prof_stats/1 (L), 65 profile/0 (L), 64 profiling/0 (L), 64 put/1 (B), 22

read/1 (B), 21 real/1 (I), 26 recorda/3 (L), 35 recorded/3 (L), 35 recordz/3 (L), 35 repeat/0 (L), 26 resetcount/1 (L), 64 resettime/1 (L), 64 restore/1 (B), 38 retract/1 (L), 35

save/1 (B), 38 see/1 (B), 20 seeing/1 (B), 20 seen/0 (B), 20 setof/3 (L), 29 sin/2 (B), 25 sort/2 (L), 31 spy/1 (L), 46 spypreds/1 (L), 47 square/2 (B), 25 statistics/0 (B), 39 statistics/2 (L), 39 structure/1 (B), 27 subsumes/2 (L), 66 symtype/2 (B), 40 syscall/3 (B), 40 system/1 (B), 40

tab/1 (B), 22 tell/1 (B), 21 telling/1 (B), 21 term_expansion/2 (U), 62 time/1 (L), 63 timepreds/1 (L), 64 told/0 (B), 21 trace/1 (L), 44 tracepreds/1 (L), 46 trimbuff/3 (L), 32 true/0 (I), 25

undefined_pred/1 (L), 8 untrace/1 (L), 46

var/1 (I), 26

write/1 (L), 21 writename/1 (B), 21 writeq/1 (L), 21 writeqname/1 (B), 21