10 Mar 2005
CS 3243 - FOL and Prolog
47
Notes on running Prolog
You will often want to load
a KB on invocation of Prolog
lUse “consult(‘mykb.pl’).”
at the “?-” prompt.
lOr add it on the command
line as a standard input “pl
< mykb.pl”
If you want to modify facts
once Prolog is invoked:
lUse “assert(p).”
lOr “retract(p).” to
remove a fact