11.2.5 Database

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 ISO,declaration
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)
erase every clause whose head matches H

Send feedback on this subject.