sun|1> set path=($path /software/expert/bin)
sun|2> prodigy
AKCL (Austin Kyoto Common Lisp)  Version(1.625) Fri Dec  9 12:44:04 MET 1994
Released under GNU Public Library License
Contains Enhancements by W. Schelter
 
>*world-path*
"/software/expert/prodigy4.0/domains/"
 
>(setq *world-path* "/software/expert/prodigy4.0/domains/")
"/software/expert/prodigy4.0/domains/"
 
>(domain 'blocksworld)
Loading /software/expert/prodigy4.0/domains/blocksworld/domain.lisp
Reading Meta predicate: current-goal
Reading Meta predicate: current-ops
Reading Meta predicate: true-in-state
Reading Meta predicate: candidate-goal
Reading Meta predicate: known
Finished loading /software/expert/prodigy4.0/domains/blocksworld/domain.lisp
Running load-domain.
Warning: COMPILE is being redefined.
Warning: COMPILE is being redefined.
1.0833333333333333
 
>(problem 'p1)
Loading /software/expert/prodigy4.0/domains/blocksworld/probs/p1.lisp
Finished loading /software/expert/prodigy4.0/domains/blocksworld/probs/p1.lisp
T
 
>(run :output-level 3)
Creating objects (A B C) of type OBJECT
 
  2 n2 (done)
  4 n4 <*finish*>
  5   n5 (arm-empty)
Firing select binding rule SELECT-BINDINGS-PUTDOWN-ARMEMPTY at node 6
  7   n7 <put-down a>
  7   n8 <PUT-DOWN A>
Achieved top-level goals.
 
Solution:
        <put-down a>
 
#<PRODIGY result: T, 0.56666666666666665 secs, 8 nodes, 1 sol>
 
>