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), 26 \  = = /2 (B), 31 ∧/2 (L), 30 ,/2 (I), 25 -> /2 (P), 26 :–/1 (P), 11 ::–/2 (P), 57 ;/2 (I), 25 =../2 (L), 28 =/2 (I), 25 =:=/2 (I), 24 ==/2 (B), 30 ?=/2 (I), 26 < /2 (B), 31 = < /2 (B), 31 > /2 (B), 31 > = /2 (B), 31 $absmember/2 (L), 67 $alloc_buff/5 (L), 43 $append/3 (L), 67 $asm/3, 53 $assertf_alloc_t (L), 44 $current_atom/2 (L), 37 $current_functor/3 (L), 37 $current_predicate/3 (L), 37 $db_add_clref/7 (L), 44 $db_assert_fact/5 (L), 44 $db_call_prref/2 (L), 45 $db_call_prref_s/2 (L), 45 $db_get_clauses/3 (L), 45 $db_new_prref/3 (L), 44 $exists/1 (B), 21 $getenv/2 (L), 39 $member/2 (L), 67 $member2/2 (L), 67 $memberchk/2 (L), 67 $merge/3 (L), 67 $nthmember/3 (L), 67 $reverse/2 (L), 67 $trace/0 (L), 48 $untrace/0 (L), 48 _$interrupt/2 (L), 50 `C'/3 (L), 64

abolish/1 (L), 35 abolish/2 (L), 36 abort/0 (B), 39 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), 35 assert_union/2 (L), 34 asserta/1 (L), 34 asserta/2 (L), 34 asserti/2 (L), 33 assertz/1 (L), 34 assertz/2 (L), 34 atom/1 (B), 27 atomic/1 (B), 27

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

call/1 (P), 28 call_ref/2 (L), 43 call_ref/3 (L), 43 clause/2 (L), 35 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), 29 conlength/2 (L), 33 consult/1 (L), 10 consult/2 (L), 10 count/1 (L), 65 countpreds/1 (L), 66 cputime/1 (B), 39 current_atom/1 (L), 37 current_functor/2 (L), 37 current_predicate/2 (L), 37

dcg/2 (L), 63 debug/0 (L), 47 debugging/0 (L), 47 display/1 (L), 21

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

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

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

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

keysort/2 (L), 31

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

mode/3 (D), 54

name/2 (B), 28 nl/0 (B), 22 nocount/1 (L), 65 nodebug/0 (L), 47 nodynload/2 (L), 39 noet/1 (L), 61 nonvar/1 (I), 27 noprofile/0 (L), 66 nospy/1 (L), 47 not/1 (P), 26 notime/1 (L), 65 number/1 (B), 27

op/3 (L), 16, 38

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

read/1 (B), 21 real/1 (I), 27 recorda/3 (L), 36 recorded/3 (L), 36 recordz/3 (L), 36 repeat/0 (L), 26 resetcount/1 (L), 65 resettime/1 (L), 66 restore/1 (B), 39 retract/1 (L), 35

save/1 (B), 39 see/1 (B), 21 seeing/1 (B), 21 seen/0 (B), 21 setof/3 (L), 29 sin/2 (B), 25 sort/2 (L), 31 spy/1 (L), 47 spypreds/1 (L), 48 square/2 (B), 25 statistics/0 (B), 39 statistics/2 (L), 39 structure/1 (B), 27 subsumes/2 (L), 67 symtype/2 (B), 41 syscall/3 (B), 41 system/1 (B), 41

tab/1 (B), 22 tell/1 (B), 21 telling/1 (B), 21 term_expansion/2 (U), 63 time/1 (L), 65 timepreds/1 (L), 66 told/0 (B), 21 trace/1 (L), 45 tracepreds/1 (L), 48 trimbuff/3 (L), 32 true/0 (I), 25

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

var/1 (I), 27

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