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


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

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


Prodigy: domain


  The available domains are...


  tailoring-sc   tailoring      temp           hanoi          
  

  Select a domain: tailoring-sc

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

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

 WARNING: No priority given for preference rule SEW-T-SHIRT-BEFORE-IRON-GARMENT
          Assigning this rule priority 0
 WARNING: No priority given for preference rule SEW-SHIRT-WITH-COLLAR-BEFORE-IRON-GARMENT
          Assigning this rule priority 0
 WARNING: No priority given for preference rule EMBROIDER-BEFORE-SEW-POCKET
          Assigning this rule priority 0
 WARNING: No priority given for preference rule SEW-T-SHIRT-BEFORE-SEW-BUTTONS
          Assigning this rule priority 0
 WARNING: No priority given for preference rule SEW-SHIRT-WITH-COLLAR-BEFORE-SEW-BUTTONS
          Assigning this rule priority 0

Prodigy: problem


  The problems for Tailoring-Sc are...

  p5   p4   p3   p2   p1   
  

  Enter a problem: p1

; Loading /user3/class/csci/c473/c473bj/my-domains/tailoring-sc/probs/p1.lisp.

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

Prodigy: text

  The problem solving trace text is now off.

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

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

Prodigy: solve


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

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

CPU time: 1.6 seconds
Number of Nodes: 80
Solution Length: 32
Operator Sequence: 

      TURN-ON SEWING-MACHINE
      MEASURE-N-CUT-FABRIC BACK WIDTH 60
      MEASURE-N-CUT-FABRIC BACK LENGTH 80
      SEW-TAG
      TURN-OFF SEWING-MACHINE
      TURN-ON EMBROIDERING-MACHINE
      SEW-EMBROIDERY RED COLLAR
      TURN-OFF EMBROIDERING-MACHINE
      TURN-ON SEWING-MACHINE
      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-ON-GARMENT 1 GREEN


Prodigy: problem


  The problems for Tailoring-Sc are...

  p5.lisp~   p5         p4         p3         p2         p1         
  

  Enter a problem: p2

; Loading /user3/class/csci/c473/c473bj/my-domains/tailoring-sc/probs/p2.lisp.


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

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

Prodigy: solve


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

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

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


  The problems for Tailoring-Sc are...

  p5.lisp~   p5         p4         p3         p2         p1         
  

  Enter a problem: p3

; Loading /user3/class/csci/c473/c473bj/my-domains/tailoring-sc/probs/p3.lisp.


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

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

Prodigy: solve


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

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

CPU time: 0.5 seconds
Number of Nodes: 36
Solution Length: 17
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


Prodigy: problem


  The problems for Tailoring-Sc are...

  p5.lisp~   p5         p4         p3         p2         p1         
  

  Enter a problem: p4

; Loading /user3/class/csci/c473/c473bj/my-domains/tailoring-sc/probs/p4.lisp.


Prodigy: initial


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

          (has thread4 embroidery-thread)
          (has thread3 embroidery-thread)
          (has thread2 embroidery-thread)
          (has thread1 embroidery-thread)
          (free fabf)
          (size-of fabf length 90)
          (size-of fabf width 35)
          (free fabe)
          (size-of fabe length 90)
          (size-of fabe width 45)



Prodigy: goal

  Problem Goal: (AND (WITH-OPTION POCKET RIGHT-FRONT) (WITH-EMBROIDERY GREEN POCKET))

Prodigy: solve


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

Goal State: (AND (WITH-OPTION POCKET RIGHT-FRONT) (WITH-EMBROIDERY GREEN POCKET))problem


CPU time: 0.3 seconds
Number of Nodes: 24
Solution Length: 11
Operator Sequence: 

      TURN-ON EMBROIDERING-MACHINE
      SEW-EMBROIDERY GREEN POCKET
      TURN-OFF EMBROIDERING-MACHINE
      TURN-ON SEWING-MACHINE
      MEASURE-N-CUT-FABRIC POCKET WIDTH 20
      MEASURE-N-CUT-FABRIC POCKET LENGTH 20
      MEASURE-N-CUT-FABRIC RIGHT-FRONT WIDTH 40
      MEASURE-N-CUT-FABRIC RIGHT-FRONT LENGTH 80
      SEW-POCKET RIGHT-FRONT



Prodigy: problem


  The problems for Tailoring-Sc are...

  p5.lisp~   p5         p4         p3         p2         p1         
  

  Enter a problem: p5

; Loading /user3/class/csci/c473/c473bj/my-domains/tailoring-sc/probs/p5.lisp.


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)
          (free fabf)
          (size-of fabf length 80)
          (size-of fabf width 40)
          (free fabe)
          (size-of fabe length 100)
          (size-of fabe width 60)



Prodigy: goal

  Problem Goal: (AND (WITH-OPTION POCKET LEFT-FRONT) (POCKET-WITH-BUTTONS 2 BLUE))

Prodigy: solve


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

Goal State: (AND (WITH-OPTION POCKET LEFT-FRONT) (POCKET-WITH-BUTTONS 2 BLUE))

CPU time: 0.2 seconds
Number of Nodes: 18
Solution Length: 8
Operator Sequence: 

      MEASURE-N-CUT-FABRIC POCKET WIDTH 20
      MEASURE-N-CUT-FABRIC POCKET LENGTH 20
      SEW-BUTTONS-ON-POCKET 2 BLUE
      TURN-ON SEWING-MACHINE
      MEASURE-N-CUT-FABRIC LEFT-FRONT WIDTH 40
      MEASURE-N-CUT-FABRIC LEFT-FRONT LENGTH 80
      SEW-POCKET LEFT-FRONT


Prodigy: domain


  The available domains are...


  tailoring-sc   tailoring      temp           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.


Prodigy: problem


  The problems for Tailoring are...

  p5.lisp~            p3                  p1                  
  p5                  p2                  T-shirt             
  p4                  shirt-with-collar   
  

  Enter a problem: p3

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


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

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

Prodigy: solve


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

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

CPU time: 23.0 seconds
Number of Nodes: 1,280
Solution Length: 17
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


Prodigy: problem


  The problems for Tailoring are...

  p5.lisp~            p3                  p1                  
  p5                  p2                  T-shirt             
  p4                  shirt-with-collar   
  

  Enter a problem: p4

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


Prodigy: initial


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

          (has thread4 embroidery-thread)
          (has thread3 embroidery-thread)
          (has thread2 embroidery-thread)
          (has thread1 embroidery-thread)
          (free fabf)
          (size-of fabf length 90)
          (size-of fabf width 35)
          (free fabe)
          (size-of fabe length 90)
          (size-of fabe width 45)



Prodigy: goal

  Problem Goal: (AND (WITH-OPTION POCKET RIGHT-FRONT) (WITH-EMBROIDERY GREEN POCKET))

Prodigy: solve


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

Goal State: (AND (WITH-OPTION POCKET RIGHT-FRONT) (WITH-EMBROIDERY GREEN POCKET))

CPU time: 1.1 seconds
Number of Nodes: 81
Solution Length: 11
Operator Sequence: 

      TURN-ON EMBROIDERING-MACHINE
      SEW-EMBROIDERY GREEN POCKET
      TURN-OFF EMBROIDERING-MACHINE
      TURN-ON SEWING-MACHINE
      MEASURE-N-CUT-FABRIC POCKET WIDTH 20
      MEASURE-N-CUT-FABRIC POCKET LENGTH 20
      MEASURE-N-CUT-FABRIC RIGHT-FRONT WIDTH 40
      MEASURE-N-CUT-FABRIC RIGHT-FRONT LENGTH 80
      SEW-POCKET RIGHT-FRONT


Prodigy: problem


  The problems for Tailoring are...

  p5.lisp~            p3                  p1                  
  p5                  p2                  T-shirt             
  p4                  shirt-with-collar   
  

  Enter a problem: p5

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


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)
          (free fabf)
          (size-of fabf length 80)
          (size-of fabf width 40)
          (free fabe)
          (size-of fabe length 100)
          (size-of fabe width 60)



Prodigy: goal

  Problem Goal: (AND (WITH-OPTION POCKET LEFT-FRONT) (POCKET-WITH-BUTTONS 2 BLUE))

Prodigy: solve


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

Goal State: (AND (WITH-OPTION POCKET LEFT-FRONT) (POCKET-WITH-BUTTONS 2 BLUE))

CPU time: 0.7 seconds
Number of Nodes: 51
Solution Length: 8
Operator Sequence: 

      MEASURE-N-CUT-FABRIC POCKET WIDTH 20
      MEASURE-N-CUT-FABRIC POCKET LENGTH 20
      SEW-BUTTONS-ON-POCKET 2 BLUE
      TURN-ON SEWING-MACHINE
      MEASURE-N-CUT-FABRIC LEFT-FRONT WIDTH 40
      MEASURE-N-CUT-FABRIC LEFT-FRONT LENGTH 80
      SEW-POCKET LEFT-FRONT


Prodigy: 