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