4.12.10 Summary of Predicates

abolish(:F)   ISO

abolish the predicate(s) specified by F

abolish(:F,+O)

abolish the predicate(s) specified by F with options O

assert(:C)

assert(:C,-R)

clause C is asserted; reference R is returned

asserta(:C)   ISO

asserta(:C,-R)

clause C is asserted before existing clauses; reference R is returned

assertz(:C)   ISO

assertz(:C,-R)

clause C is asserted after existing clauses; reference R is returned

bb_delete(:Key,-Term)

Delete from the blackboard Term stored under Key.

bb_get(:Key,-Term)

Get from the blackboard Term stored under Key.

bb_put(:Key,+Term)

Store Term under Key on the blackboard.

bb_update(:Key, -OldTerm, +NewTerm)

Replace OldTerm by NewTerm under Key on the blackboard.

clause(:P,?Q)   ISO

clause(:P,?Q,?R)

there is a clause for a dynamic predicate with head P, body Q, and reference R

current_key(?N, ?K)

N is the name and K is the key of a recorded term

dynamic :P   declaration,ISO

predicates specified by P are dynamic

erase(+R)

erase the clause or record with reference R

instance(+R,-T)

T is an instance of the clause or term referenced by R

recorda(+K,+T,-R)

make term T the first record under key K; reference R is returned

recorded(?K,?T,?R)

term T is recorded under key K with reference R

recordz(+K,+T,-R)

make term T the last record under key K; reference R is returned

retract(:C)   ISO

erase the first dynamic clause that matches C

retractall(:H)   ISO

erase every clause whose head matches H