Database

abolish(F)

abolish the predicate(s) specified by F

abolish(F,N)

abolish the predicate named F of arity N

assert(C)

clause C (for dynamic predicate) is added to database

assert(C,R)

clause C is asserted; reference R is returned

asserta(C)

clause C is asserted before existing clauses

asserta(C,R)

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

assertz(C)

clause C is asserted after existing clauses

assertz(C,R)

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

clause(P,Q)

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

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 that 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

multifile_assertz(C)

add clause C to the end of a (possibly compiled) multifile procedure

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)

erase the first dynamic clause that matches C

retractall(H)

erase every clause whose head matches H