Script started on Mon May 20 07:28:11 1991
Mail in /usr/msgs.
_hilbert_1% cl
Allegro CL 3.1.12 [DEC 3100] (3/30/90)
Copyright (C) 1985-1990, Franz Inc., Berkeley, CA, USA
<cl> :cl ~/ai/prodigy/load-prodigy.lisp

; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/load-prodigy.fasl.

*** PRODIGY Autoload facility ***

Do you wish to use the EBL component ? no

Do you wish to use the graphics utilities ? no

; Loading /user3/class/csci/c473/c473bp/ai/prodigy/system/planner/startup.lisp.
; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/system/planner/ini.fasl.
; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/system/planner/g-map.fasl.
; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/system/planner/g-loop.fasl.
; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/system/planner/data-types.fasl.
; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/system/planner/misc.fasl.
; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/system/planner/checks.fasl.
; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/system/planner/matching.fasl.
; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/system/planner/engine.fasl.
; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/system/planner/output.fasl.
; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/system/planner/treetrek.fasl.
; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/system/planner/load-domain.fasl.
; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/system/planner/meta-fns.fasl.
; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/system/planner/adjust.fasl.
; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/system/planner/scntrl.fasl.
; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/system/planner/pg-system.fasl.
; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/system/planner/graphics.fasl.
; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/system/planner/tree-graphics.fasl.
; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/system/planner/interface.fasl.
; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/system/planner/analyze.fasl.
; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/system/planner/toplevel.fasl.
; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/system/planner/commands.fasl.
; Fast loading /user3/class/csci/c473/c473bp/ai/prodigy/bug-fixes.fasl.


Loading of PRODIGY is complete.  To use Prodigy's interactive environment
type "(prodigy)".

<cl> (prodigy)


PRODIGY 2.11   (The Prodigy Project, September 25, 1990)
Mail questions and remarks to prodigy@CS.CMU.EDU


Welcome to   P R O D I G Y ...


Current Domain:   unspecified.
Current Problem:  unspecified.
Active Switches:  TEXT.

Prodigy: text

  The problem solving trace text is now off.

Prodigy: path "~/my-domains"


Prodigy: dom "robo"

; Loading /user3/class/csci/c473/c473bp/my-domains/robo/startup.lisp.
; Loading /user3/class/csci/c473/c473bp/my-domains/robo/domain.lisp.
; Loading /user3/class/csci/c473/c473bp/my-domains/robo/functions.lisp.
; Loading /user3/class/csci/c473/c473bp/my-domains/robo/sc-rules.lisp.


Prodigy: pro "3.p"

; Loading /user3/class/csci/c473/c473bp/my-domains/robo/probs/3.p.


Prodigy: go^?          initial


  The non-static predicates in the initial state are ...

          (is-in-room parte room6)
          (is-in-room partd room4)
          (is-in-room partc room3)
          (is-in-room shelf2 room1)
          (on-shelf partb shelf2)
          (is-in-room partb room1)
          (is-in-room shelf1 room2)
          (on-shelf parta shelf1)
          (is-in-room parta room2)
          (is-in-room robo room1)



Prodigy: goal

  Problem Goal: (AND (IS-ATTACHED PARTA PARTC) (IS-ATTACHED PARTA PARTB) (IS-ATTACHED PARTE PARTB))

Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (AND (IS-ATTACHED PARTA PARTC) (IS-ATTACHED PARTA PARTB) (IS-ATTACHED PARTE PARTB))

CPU time: 1.1 seconds
Number of Nodes: 75
Solution Length: 20
Operator Sequence: 

      RUN-TO ROOM5
      RUN-TO ROOM2
      TAKE-FROM-SHELF PARTA SHELF1
      WALK-TO ROOM5
      PUT-DOWN PARTA ROOM5
      RUN-TO ROOM3
      PICK-UP PARTC
      RUN-TO ROOM5
      PUT-DOWN PARTC ROOM5
      ATTACH PARTA PARTC
      RUN-TO ROOM1
      TAKE-FROM-SHELF PARTB SHELF2
      RUN-TO ROOM5
      PUT-DOWN PARTB ROOM5
      ATTACH PARTA PARTB
      RUN-TO ROOM6
      PICK-UP PARTE
      WALK-TO ROOM5
      PUT-DOWN PARTE ROOM5
      ATTACH PARTE PARTB


Prodigy: anal


 Entering Search Analysis Facility ...


You are at node  N1
Working on goal: (DONE)
Using Operator:  *FINISH*

Unmatched conditions: (IS-ATTACHED PARTA PARTC)
                      (IS-ATTACHED PARTA PARTB)
                      (IS-ATTACHED PARTE PARTB)


Analysis: go n37


You are at node  N37
Working on goal: (DONE)
Using Operator:  *FINISH*

Done so far:
Node N36: ATTACH PARTA PARTC

Unmatched conditions: (IS-ATTACHED PARTA PARTB)
                      (IS-ATTACHED PARTE PARTB)


Analysis: alts

Node N38: *FINISH*
Remaining 

Analysis: go n50
Node #<N50> is not on the current path!


You are at node  N37
Working on goal: (DONE)
Using Operator:  *FINISH*

Done so far:
Node N36: ATTACH PARTA PARTC

Unmatched conditions: (IS-ATTACHED PARTA PARTB)
                      (IS-ATTACHED PARTE PARTB)


Analysis: go n20
Node #<N20> is not on the current path!


You are at node  N37
Working on goal: (DONE)
Using Operator:  *FINISH*

Done so far:
Node N36: ATTACH PARTA PARTC

Unmatched conditions: (IS-ATTACHED PARTA PARTB)
                      (IS-ATTACHED PARTE PARTB)


Analysis: go n1


You are at node  N1
Working on goal: (DONE)
Using Operator:  *FINISH*

Unmatched conditions: (IS-ATTACHED PARTA PARTC)
                      (IS-ATTACHED PARTA PARTB)
                      (IS-ATTACHED PARTE PARTB)


Analysis: alts

Node N2: *FINISH*
Remaining 

Analysis: go n50
Node #<N50> is not on the current path!


You are at node  N1
Working on goal: (DONE)
Using Operator:  *FINISH*

Unmatched conditions: (IS-ATTACHED PARTA PARTC)
                      (IS-ATTACHED PARTA PARTB)
                      (IS-ATTACHED PARTE PARTB)


Analysis: go n89      79


You are at node  N1
Working on goal: (DONE)
Using Operator:  *FINISH*

Unmatched conditions: (IS-ATTACHED PARTA PARTC)
                      (IS-ATTACHED PARTA PARTB)
                      (IS-ATTACHED PARTE PARTB)


Analysis: alts

Node N2: *FINISH*
Remaining 

Analysis: go n78      76


You are at node  N1
Working on goal: (DONE)
Using Operator:  *FINISH*

Unmatched conditions: (IS-ATTACHED PARTA PARTC)
                      (IS-ATTACHED PARTA PARTB)
                      (IS-ATTACHED PARTE PARTB)


Analysis: alts

Node N2: *FINISH*
Remaining 

Analysis: quit


 ... Returning to the top level interface



Prodigy: pro "4.p"

; Loading /user3/class/csci/c473/c473bp/my-domains/robo/probs/4.p.


Prodigy: init


  The non-static predicates in the initial state are ...

          (is-in-room parte room6)
          (is-in-room partd room4)
          (is-in-room partc room3)
          (is-in-room shelf2 room1)
          (on-shelf partb shelf2)
          (is-in-room partb room1)
          (is-in-room shelf1 room2)
          (on-shelf parta shelf1)
          (is-in-room parta room2)
          (is-in-room robo room1)



Prodigy: goas^?       l

  Problem Goal: (AND (IS-ATTACHED PARTE PARTB) (IS-ATTACHED PARTA PARTC) (IS-ATTACHED PARTA PARTB))

Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (AND (IS-ATTACHED PARTE PARTB) (IS-ATTACHED PARTA PARTC) (IS-ATTACHED PARTA PARTB))

CPU time: 1.0 seconds
Number of Nodes: 87
Solution Length: 20
Operator Sequence: 

      RUN-TO ROOM5
      RUN-TO ROOM6
      PICK-UP PARTE
      WALK-TO ROOM5
      PUT-DOWN PARTE ROOM5
      RUN-TO ROOM1
      TAKE-FROM-SHELF PARTB SHELF2
      RUN-TO ROOM5
      PUT-DOWN PARTB ROOM5
      ATTACH PARTE PARTB
      RUN-TO ROOM2
      TAKE-FROM-SHELF PARTA SHELF1
      WALK-TO ROOM5
      PUT-DOWN PARTA ROOM5
      RUN-TO ROOM3
      PICK-UP PARTC
      RUN-TO ROOM5
      PUT-DOWN PARTC ROOM5
      ATTACH PARTA PARTC
      ATTACH PARTA PARTB


Prodigy: anal


 Entering Search Analysis Facility ...


You are at node  N1
Working on goal: (DONE)
Using Operator:  *FINISH*

Unmatched conditions: (IS-ATTACHED PARTE PARTB)
                      (IS-ATTACHED PARTA PARTC)
                      (IS-ATTACHED PARTA PARTB)


Analysis: go n34


You are at node  N34
Working on goal: (IS-IN-ROOM PARTB ROOM5)
Using Operator:  PUT-DOWN

Done so far:
Node N33: TAKE-FROM-SHELF PARTB SHELF2

Unmatched conditions: (IS-IN-ROOM ROBO ROOM5)


Analysis: alts

Node N35: PUT-DOWN PARTB ROOM5
Remaining 

Analysis: go n1


You are at node  N1
Working on goal: (DONE)
Using Operator:  *FINISH*

Unmatched conditions: (IS-ATTACHED PARTE PARTB)
                      (IS-ATTACHED PARTA PARTC)
                      (IS-ATTACHED PARTA PARTB)


Analysis: go n67
Node #<N67> is not on the current path!


You are at node  N1
Working on goal: (DONE)
Using Operator:  *FINISH*

Unmatched conditions: (IS-ATTACHED PARTE PARTB)
                      (IS-ATTACHED PARTA PARTC)
                      (IS-ATTACHED PARTA PARTB)


Analysis: go n13


You are at node  N13
Working on goal: (IS-IN-ROOM PARTB ROOM5)
Using Operator:  PUT-DOWN

Unmatched conditions: (HOLDING PARTB)


Analysis: alts

Node N14: PUT-DOWN PARTB ROOM5
Remaining 

Analysis: quit


 ... Returning to the top level interface



Prodigy: quit

Type ``(prodigy)'' to begin another session.


BYE 
<cl> :ext
Unknown top-level command: "ext"
Type `:help' for the list of commands.
<cl> :exi
; Exiting Lisp
_hilbert_2% finger
Login       Name              TTY Idle    When            Office
edgar    Edgar Nielsen         p2  15: Fri 16:21   C-28C Pdl   3-6466
edgar    Edgar Nielsen         p4    2 Mon 07:04   C-28C Pdl   3-6466
c473bp   Eivind Sandstrand     p5      Mon 01:44 
edgar    Edgar Nielsen         p7  14: Fri 16:21   C-28C Pdl   3-6466
c413     C413                  pd 8:53 Sat 17:47 
c473bn   Hugo Lau              pf      Sun 23:59 
c413br   Blake Anderson        q0   1d Sat 21:54 
c473bn   Hugo Lau              q1    1 Sun 23:59 
root     System PRIVILEGED Ac  q7  18: Sun 13:14 
root     System PRIVILEGED Ac  q9  18: Sun 13:14 
rcf      Rick Fairfield        qa  17: Sun 13:18  C-28B Padel 6852303
_hilbert_3% mv typescript  /Texts                  TRe      exts/so      handin.txt
_hilbert_4% ls
README		domain.lisp	functions.lisp~	sc-rules.lisp
README~		domain.lisp~	pro2.txt	sc-rules.lisp~
Texts		functions.lisp	probs		startup.lisp
_hilbert_5% rm *~
_hilbert_6% ls
README		domain.lisp	pro2.txt	sc-rules.lisp
Texts		functions.lisp	probs		startup.lisp
_hilbert_7% rm pro2.txt
_hilbert_8% ftp wolf.cs
Connected to wolf.cs.washington.edu.
220 wolf.cs.washington.edu FTP server (Ultrix Version 4.9 Wed May 3 20:41:16 PDT 1989) ready.
Name (wolf.cs:): eiistrand
Password (wolf.cs:eiistrand): 
530 User eiistrand access denied.
Login failed.
ftp> open
Already connected to wolf.cs.washington.edu, use close first.
ftp> login
?Invalid command
ftp> logut^?          out
?Invalid command
ftp> close
221 Goodbye.
ftp> login wolf.cs
?Invalid command
ftp> qui
_hilbert_9% ftp wolf.cs
Connected to wolf.cs.washington.edu.
220 wolf.cs.washington.edu FTP server (Ultrix Version 4.9 Wed May 3 20:41:16 PDT 1989) ready.
Name (wolf.cs:): eistrand
Password (wolf.cs:eistrand): 
331 Password required for eistrand.
230 User eistrand logged in.
ftp> send Texts/handin.txt cs473/Text            handin.txt
200 PORT command successful.
150 Opening data connection for cs473/handin.txt (128.95.18.35,4977).
226 Transfer complete.
local: Texts/handin.txt remote: cs473/handin.txt
8508 bytes sent in 0.043 seconds (1.9e+02 Kbytes/s)
ftp> close
221 Goodbye.
ftp> quit
_hilbert_10% logout
Not login shell.
_hilbert_11% ps
  PID TT STAT  TIME COMMAND
18481 p5 I     0:02 -csh (csh)
19418 p5 S     0:00 script
19419 p5 S     0:00 script
19420 p6 S     0:00 -h -i (csh)
19464 p6 R     0:00 ps
_hilbert_12% fg
fg: No current job.
_hilbert_13% finger c473bp@hilbert
[hilbert.ms.washington.edu]
Login name: c473bp    			In real life: Eivind Sandstrand

Directory: /user3/class/csci/c473/c473bp	Shell: /bin/csh

On since May 20 01:44:43 on ttyp5 from cts4.cac.washing

Plan:

Username: c473bp     Class: cse473     Quarter: Spring '91



Name    : Eivind Sandstrand

Address : 1414 NE 52nd St.

	  Seattle WA 98105

Phone   : (206) 522-7152



-------------------------------------------------------------------------------



If we, at our level, must be taught what foolishness intellegence is, then I

feel true fear for our glorious future."

           - Balle Klorin, "Supperaadet" 1785

-------------------------------------------------------------------------------
_hilbert_14% exit
_hilbert_15% 
script done on Mon May 20 07:36:26 1991
