Prodigy: path "~c473bj/my-domains/"


Prodigy: domain


  The available domains are...


  tower       tailoring   project     hanoi       
  

  Select a domain: tailoring

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

 NOTE: The following static predicates have not been implemented 
 as functions:  (IS-TOOL FABRIC-IS COLOR-OF)


Prodigy: load-problem


  The problems for Tailoring are...

  shirt-with-collar   T-shirt             
  

  Enter a problem: T-shirt

; Loading /user3/class/csci/c473/c473bj/my-domains/tailoring/probs/T-shirt.lisp.

  Goal State:  (AND (WITH-OPTION POCKET FRONT) (T-SHIRT) (GARMENT-IRONED))

Prodigy: text

  The problem solving trace text is now off.

Prodigy: goal

  Problem Goal: (AND (WITH-OPTION POCKET FRONT) (T-SHIRT) (GARMENT-IRONED))

Prodigy: initial


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

          (free fabg)
          (size-of fabg length 20)
          (size-of fabg width 40)
          (free fabf)
          (size-of fabf length 80)
          (size-of fabf width 100)
          (free fabc)
          (size-of fabc length 82)
          (size-of fabc width 60)
          (free fabb)
          (size-of fabb length 50)
          (size-of fabb width 50)
          (free faba)
          (size-of faba length 40)
          (size-of faba width 70)



Prodigy: solve


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

Goal State: (AND (WITH-OPTION POCKET FRONT) (T-SHIRT) (GARMENT-IRONED))

CPU time: 0.6 seconds
Number of Nodes: 46
Solution Length: 22
Operator Sequence: 

      TURN-ON SEWING-MACHINE
      MEASURE-N-CUT-FABRIC POCKET WIDTH 20
      MEASURE-N-CUT-FABRIC POCKET LENGTH 20
      MEASURE-N-CUT-FABRIC FRONT WIDTH 70
      MEASURE-N-CUT-FABRIC FRONT LENGTH 80
      SEW-POCKET FRONT
      MEASURE-N-CUT-FABRIC BACK WIDTH 60
      MEASURE-N-CUT-FABRIC BACK LENGTH 80
      SEW-BACK-N-FRONT
      MEASURE-N-CUT-FABRIC LEFT-SLEEVE WIDTH 50
      MEASURE-N-CUT-FABRIC LEFT-SLEEVE LENGTH 30
      SEW-LEFT-SLEEVE
      MEASURE-N-CUT-FABRIC RIGHT-SLEEVE WIDTH 50
      MEASURE-N-CUT-FABRIC RIGHT-SLEEVE LENGTH 30
      SEW-RIGHT-SLEEVE
      TURN-OFF SEWING-MACHINE
      TURN-ON IRON
      IRON-GARMENT


Prodigy: analyze


 Entering Search Analysis Facility ...


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

Unmatched conditions: (WITH-OPTION POCKET FRONT)
                      (T-SHIRT)
                      (GARMENT-IRONED)


Analysis: go N10


You are at node  N10
Working on goal: (WITH-OPTION POCKET FRONT)
Using Operator:  SEW-POCKET

Done so far:
Node N5: TURN-ON SEWING-MACHINE
Node N7: MEASURE-N-CUT-FABRIC POCKET WIDTH 20
Node N9: MEASURE-N-CUT-FABRIC POCKET LENGTH 20

Unmatched conditions: (FABRIC-OK FABF WIDTH 70)
                      (FABRIC-OK FABF LENGTH 80)


Analysis: alts

Node N11: SEW-POCKET FRONT
Remaining 

Analysis: go N5


You are at node  N5
Working on goal: (IS-POWER-ON SEWING-MACHINE)
Using Operator:  TURN-ON

Done so far:
Node N4: INFER-SOCKET-OUTLET-AVAILABLE

Doing at this node: TURN-ON SEWING-MACHINE


Analysis: alts

Node N6: TURN-ON SEWING-MACHINE
Remaining 

Analysis: last


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

Done so far:
Node N14: SEW-POCKET FRONT
Node N34: INFER-T-SHIRT
Node N44: IRON-GARMENT

Doing at this node: *FINISH*


Analysis: quit


 ... Returning to the top level interface



Prodigy: load-problem


  The problems for Tailoring are...

  shirt-with-collar   T-shirt             
  

  Enter a problem: shirt-with-collar

; Loading /user3/class/csci/c473/c473bj/my-domains/tailoring/probs/shirt-with-collar.lisp.

Prodigy: goal

  Problem Goal: (AND (WITH-EMBROIDERY RED COLLAR) (TAG-ATTACHED-AT BACK) (SHIRT-WITH-COLLAR) (WITH-BUTTONS 1 GREEN))

Prodigy: initial


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

          (size-of but2 diameter 2)
          (size-of but1 diameter 1)
          (has but2 buttons)
          (has but1 buttons)
          (has thread4 embroidery-thread)
          (has thread3 embroidery-thread)
          (has thread2 embroidery-thread)
          (has thread1 embroidery-thread)
          (free fabf)
          (size-of fabf length 25)
          (size-of fabf width 48)
          (free fabe)
          (size-of fabe length 80)
          (size-of fabe width 40)
          (free fabd)
          (size-of fabd length 85)
          (size-of fabd width 55)
          (free fabc)
          (size-of fabc length 100)
          (size-of fabc width 100)
          (free fabb)
          (size-of fabb length 90)
          (size-of fabb width 60)
          (free faba)
          (size-of faba length 30)
          (size-of faba width 50)



Prodigy: solve


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

Goal State: (AND (WITH-EMBROIDERY RED COLLAR) (TAG-ATTACHED-AT BACK) (SHIRT-WITH-COLLAR) (WITH-BUTTONS 1 GREEN))

CPU time: 1.1 seconds
Number of Nodes: 74
Solution Length: 29
Operator Sequence: 

      TURN-ON EMBROIDERING-MACHINE
      SEW-EMBROIDERY RED COLLAR
      TURN-OFF EMBROIDERING-MACHINE
      TURN-ON SEWING-MACHINE
      MEASURE-N-CUT-FABRIC BACK WIDTH 60
      MEASURE-N-CUT-FABRIC BACK LENGTH 80
      SEW-TAG BACK
      MEASURE-N-CUT-FABRIC LEFT-FRONT WIDTH 40
      MEASURE-N-CUT-FABRIC LEFT-FRONT LENGTH 80
      SEW-BACK-N-LEFT-FRONT
      MEASURE-N-CUT-FABRIC RIGHT-FRONT WIDTH 40
      MEASURE-N-CUT-FABRIC RIGHT-FRONT LENGTH 80
      SEW-BACK-N-RIGHT-FRONT
      MEASURE-N-CUT-FABRIC LEFT-SLEEVE WIDTH 50
      MEASURE-N-CUT-FABRIC LEFT-SLEEVE LENGTH 30
      SEW-LEFT-SLEEVE
      MEASURE-N-CUT-FABRIC RIGHT-SLEEVE WIDTH 50
      MEASURE-N-CUT-FABRIC RIGHT-SLEEVE LENGTH 30
      SEW-RIGHT-SLEEVE
      MEASURE-N-CUT-FABRIC COLLAR WIDTH 40
      MEASURE-N-CUT-FABRIC COLLAR LENGTH 15
      SEW-COLLAR
      MARK-BUTTON-HOLES 1
      SEW-BUTTON-HOLES 1
      SEW-BUTTONS 1 GREEN

Prodigy: analyze


 Entering Search Analysis Facility ...


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

Unmatched conditions: (WITH-EMBROIDERY RED COLLAR)
                      (TAG-ATTACHED-AT BACK)
                      (SHIRT-WITH-COLLAR)
                      (WITH-BUTTONS 1 GREEN)


Analysis: N17


Sorry, I didn't understand that,
try saying it in another way


Analysis: alts

Node N2: *FINISH*
Remaining 

Analysis: go N17


You are at node  N17
Working on goal: (FABRIC-OK FABC LENGTH 80)
Using Operator:  MEASURE-N-CUT-FABRIC

Doing at this node: MEASURE-N-CUT-FABRIC BACK LENGTH 80


Analysis: alts

Node N18: MEASURE-N-CUT-FABRIC BACK LENGTH 80
Remaining 

Analysis: go N30


You are at node  N30
Working on goal: (FABRIC-OK FABE LENGTH 80)
Using Operator:  MEASURE-N-CUT-FABRIC

Doing at this node: MEASURE-N-CUT-FABRIC RIGHT-FRONT LENGTH 80


Analysis: alts

Node N31: MEASURE-N-CUT-FABRIC RIGHT-FRONT LENGTH 80
Remaining 

Analysis: go 40


You are at node  N40
Working on goal: (FABRIC-OK FABB WIDTH 50)
Using Operator:  MEASURE-N-CUT-FABRIC

Doing at this node: MEASURE-N-CUT-FABRIC RIGHT-SLEEVE WIDTH 50


Analysis: alts

Node N41: MEASURE-N-CUT-FABRIC RIGHT-SLEEVE WIDTH 50
Remaining 
 Alts: MEASURE-N-CUT-FABRIC RIGHT-SLEEVE LENGTH 30

Analysis: last


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

Done so far:
Node N6: SEW-EMBROIDERY RED COLLAR
Node N18: SEW-TAG BACK
Node N50: INFER-SHIRT-WITH-COLLAR
Node N72: SEW-BUTTONS 1 GREEN

Doing at this node: *FINISH*


Analysis: quit


 ... Returning to the top level interface


Prodigy: quit

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


BYE 
<cl> 
