Assert and friends
Modification of the Program
assert/1 and assert/2
Asserta and assertz
Retract/1
Retractall/1
abolish/1 and abolish/2
instance/2
Email: finin@umbc.edu
Home Page: http://umbc.edu/~finin