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