Local lisp host

Allegro CL 3.1.12 [DEC 3100] (3/30/90)
Copyright (C) 1985-1990, Franz Inc., Berkeley, CA, USA
<cl> 
; Loading /user3/class/csci/c473/c473ag/lspa22853.lisp.

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


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


T 
<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: domain


  The available domains are...


  car-painting2   car-painting    hanoi           
  

  Select a domain: car-painting

; Loading /user3/class/csci/c473/c473ag/my-domains/car-painting/startup.lisp.
; Loading /user3/class/csci/c473/c473ag/my-domains/car-painting/domain.lisp.
; Loading /user3/class/csci/c473/c473ag/my-domains/car-painting/functions.lisp.
; Loading /user3/class/csci/c473/c473ag/my-domains/car-painting/sc-rules.lisp.


Prodigy: problem


  The problems for Car-Painting are...

  synthetic    sikkens      lacquer      cheappaint   acrylic      
  

  Enter a problem: synthetic

; Loading /user3/class/csci/c473/c473ag/my-domains/car-painting/probs/synthetic.lisp.


Prodigy: run


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

Goal State: (AND (SURFACE-FINISH CHRYSLER SHINY) (ASSEMBLED CHRYSLER))

Node cutoff reached: N2500. EXECUTION TERMINATED!

CPU time: 76.9 seconds
Number of Nodes: 2,500


Prodigy: problem


  The problems for Car-Painting are...

  synthetic    sikkens      lacquer      cheappaint   acrylic      
  

  Enter a problem: sikkens

; Loading /user3/class/csci/c473/c473ag/my-domains/car-painting/probs/sikkens.lisp.


Prodigy: run


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

Goal State: (AND (SURFACE-FINISH PORSCHE SHINY) (ASSEMBLED PORSCHE))

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

      DISASSEMBLE PORSCHE 150
      CHEMICAL-WASH PORSCHE 168
      STRIP PORSCHE 518
      CHEMICAL-WASH PORSCHE 536
      DRY-SAND-WITH-80-GRIT PORSCHE 606
      CHEMICAL-WASH PORSCHE 624
      MASK PORSCHE 684
      CHEMICAL-WASH PORSCHE 702
      METAL-ETCH PORSCHE 712
      PRIME PORSCHE 862
      CHEMICAL-WASH PORSCHE 880
      APPLY-GUIDECOAT PORSCHE 883
      DRY-SAND-WITH-150-GRIT PORSCHE 1138
      CHEMICAL-WASH PORSCHE 1156
      APPLY-GUIDECOAT PORSCHE 1159
      WET-SAND-WITH-400-GRIT PORSCHE 1289
      CHEMICAL-WASH PORSCHE 1307
      APPLY-GUIDECOAT PORSCHE 1310
      WET-SAND-WITH-600-GRIT PORSCHE 1470
      UNMASK PORSCHE 1478
      SAND-EDGES PORSCHE 1548
      CHEMICAL-WASH PORSCHE 1566
      MASK PORSCHE 1626
      CHEMICAL-WASH PORSCHE 1644
      PAINT-COLOR-SIKKENS PORSCHE RED 1739
      CHEMICAL-WASH PORSCHE 1757
      PAINT-CLEAR-SIKKENS PORSCHE 1877
      UNMASK PORSCHE 1885
      ASSEMBLE PORSCHE 2035


Prodigy: problem


  The problems for Car-Painting are...

  synthetic    sikkens      lacquer      cheappaint   acrylic      
  

  Enter a problem: lacquer

; Loading /user3/class/csci/c473/c473ag/my-domains/car-painting/probs/lacquer.lisp.


Prodigy: run


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

Goal State: (AND (SURFACE-FINISH NISSAN SHINY) (ASSEMBLED NISSAN))

Node cutoff reached: N2500. EXECUTION TERMINATED!

CPU time: 48.5 seconds
Number of Nodes: 2,500


Prodigy: problem


  The problems for Car-Painting are...

  synthetic    sikkens      lacquer      cheappaint   acrylic      
  

  Enter a problem: cheappaint

; Loading /user3/class/csci/c473/c473ag/my-domains/car-painting/probs/cheappaint.lisp.


Prodigy: run


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

Goal State: (AND (SURFACE-FINISH FORD LACQUERED) (ASSEMBLED FORD))

CPU time: 1.0 seconds
Number of Nodes: 60
Solution Length: 29
Operator Sequence: 

      DISASSEMBLE FORD 150
      CHEMICAL-WASH FORD 168
      STRIP FORD 518
      CHEMICAL-WASH FORD 536
      DRY-SAND-WITH-80-GRIT FORD 606
      CHEMICAL-WASH FORD 624
      MASK FORD 684
      CHEMICAL-WASH FORD 702
      METAL-ETCH FORD 712
      PRIME FORD 862
      CHEMICAL-WASH FORD 880
      APPLY-GUIDECOAT FORD 883
      DRY-SAND-WITH-220-GRIT FORD 968
      CHEMICAL-WASH FORD 986
      APPLY-GUIDECOAT FORD 989
      DRY-SAND-WITH-320-GRIT FORD 1074
      CHEMICAL-WASH FORD 1092
      APPLY-GUIDECOAT FORD 1095
      DRY-SAND-WITH-400-GRIT FORD 1195
      UNMASK FORD 1203
      SAND-EDGES FORD 1273
      CHEMICAL-WASH FORD 1291
      MASK FORD 1351
      CHEMICAL-WASH FORD 1369
      PAINT-COLOR-LACQUER FORD BROWN 1421
      CHEMICAL-WASH FORD 1439
      PAINT-CLEAR-LACQUER FORD 1514
      UNMASK FORD 1522
      ASSEMBLE FORD 1672


Prodigy: problem


  The problems for Car-Painting are...

  synthetic    sikkens      lacquer      cheappaint   acrylic      
  

  Enter a problem: acrylic

; Loading /user3/class/csci/c473/c473ag/my-domains/car-painting/probs/acrylic.lisp.


Prodigy: run


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

Goal State: (AND (SURFACE-FINISH TOYOTA SHINY) (ASSEMBLED TOYOTA))

CPU time: 33.3 seconds
Number of Nodes: 1,674
Solution Length: 29
Operator Sequence: 

      DISASSEMBLE TOYOTA 150
      CHEMICAL-WASH TOYOTA 168
      STRIP TOYOTA 518
      CHEMICAL-WASH TOYOTA 536
      DRY-SAND-WITH-80-GRIT TOYOTA 606
      CHEMICAL-WASH TOYOTA 624
      MASK TOYOTA 684
      CHEMICAL-WASH TOYOTA 702
      METAL-ETCH TOYOTA 712
      PRIME TOYOTA 862
      CHEMICAL-WASH TOYOTA 880
      APPLY-GUIDECOAT TOYOTA 883
      DRY-SAND-WITH-220-GRIT TOYOTA 968
      CHEMICAL-WASH TOYOTA 986
      APPLY-GUIDECOAT TOYOTA 989
      DRY-SAND-WITH-320-GRIT TOYOTA 1074
      CHEMICAL-WASH TOYOTA 1092
      APPLY-GUIDECOAT TOYOTA 1095
      DRY-SAND-WITH-400-GRIT TOYOTA 1195
      UNMASK TOYOTA 1203
      SAND-EDGES TOYOTA 1273
      CHEMICAL-WASH TOYOTA 1291
      MASK TOYOTA 1351
      CHEMICAL-WASH TOYOTA 1369
      PAINT-COLOR-ACRYLIC TOYOTA SILVER 1429
      CHEMICAL-WASH TOYOTA 1447
      PAINT-CLEAR-ACRYLIC TOYOTA 1547
      UNMASK TOYOTA 1555
      ASSEMBLE TOYOTA 1705


Prodigy: domain


  The available domains are...


  car-painting2   car-painting    hanoi           
  

  Select a domain: car-painting2

; Loading /user3/class/csci/c473/c473ag/my-domains/car-painting2/startup.lisp.
; Loading /user3/class/csci/c473/c473ag/my-domains/car-painting2/domain.lisp.
; Loading /user3/class/csci/c473/c473ag/my-domains/car-painting2/functions.lisp.
; Loading /user3/class/csci/c473/c473ag/my-domains/car-painting2/sc-rules.lisp.


Prodigy: problem


  The problems for Car-Painting2 are...

  sikkens      acrylic      lacquer      cheappaint   synthetic    
  

  Enter a problem: synthetic

; Loading /user3/class/csci/c473/c473ag/my-domains/car-painting2/probs/synthetic.lisp.


Prodigy: run


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

Goal State: (AND (SURFACE-FINISH CHRYSLER SHINY) (ASSEMBLED CHRYSLER))

CPU time: 6.0 seconds
Number of Nodes: 311
Solution Length: 29
Operator Sequence: 

      DISASSEMBLE CHRYSLER 150
      CHEMICAL-WASH CHRYSLER 168
      STRIP CHRYSLER 518
      BLOW-OFF-DUST CHRYSLER 523
      DRY-SAND-WITH-80-GRIT CHRYSLER 593
      BLOW-OFF-DUST CHRYSLER 598
      MASK CHRYSLER 658
      CHEMICAL-WASH CHRYSLER 676
      METAL-ETCH CHRYSLER 686
      PRIME CHRYSLER 836
      BLOW-OFF-DUST CHRYSLER 841
      APPLY-GUIDECOAT CHRYSLER 844
      DRY-SAND-WITH-220-GRIT CHRYSLER 929
      BLOW-OFF-DUST CHRYSLER 934
      APPLY-GUIDECOAT CHRYSLER 937
      DRY-SAND-WITH-320-GRIT CHRYSLER 1022
      BLOW-OFF-DUST CHRYSLER 1027
      APPLY-GUIDECOAT CHRYSLER 1030
      DRY-SAND-WITH-400-GRIT CHRYSLER 1130
      UNMASK CHRYSLER 1138
      SAND-EDGES CHRYSLER 1208
      BLOW-OFF-DUST CHRYSLER 1213
      MASK CHRYSLER 1273
      CHEMICAL-WASH CHRYSLER 1291
      PAINT-COLOR-SYNTHETIC CHRYSLER BLACK 1346
      BLOW-OFF-DUST CHRYSLER 1351
      PAINT-CLEAR-SYNTHETIC CHRYSLER 1431
      UNMASK CHRYSLER 1439
      ASSEMBLE CHRYSLER 1589


Prodigy: problem


  The problems for Car-Painting2 are...

  sikkens      acrylic      lacquer      cheappaint   synthetic    
  

  Enter a problem: sikkens

; Loading /user3/class/csci/c473/c473ag/my-domains/car-painting2/probs/sikkens.lisp.


Prodigy: run


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

Goal State: (AND (SURFACE-FINISH PORSCHE SHINY) (ASSEMBLED PORSCHE))

CPU time: 1.0 seconds
Number of Nodes: 60
Solution Length: 29
Operator Sequence: 

      DISASSEMBLE PORSCHE 150
      CHEMICAL-WASH PORSCHE 168
      STRIP PORSCHE 518
      BLOW-OFF-DUST PORSCHE 523
      DRY-SAND-WITH-80-GRIT PORSCHE 593
      BLOW-OFF-DUST PORSCHE 598
      MASK PORSCHE 658
      CHEMICAL-WASH PORSCHE 676
      METAL-ETCH PORSCHE 686
      PRIME PORSCHE 836
      BLOW-OFF-DUST PORSCHE 841
      APPLY-GUIDECOAT PORSCHE 844
      DRY-SAND-WITH-150-GRIT PORSCHE 1099
      BLOW-OFF-DUST PORSCHE 1104
      APPLY-GUIDECOAT PORSCHE 1107
      WET-SAND-WITH-400-GRIT PORSCHE 1237
      BLOW-OFF-DUST PORSCHE 1242
      APPLY-GUIDECOAT PORSCHE 1245
      WET-SAND-WITH-600-GRIT PORSCHE 1405
      UNMASK PORSCHE 1413
      SAND-EDGES PORSCHE 1483
      BLOW-OFF-DUST PORSCHE 1488
      MASK PORSCHE 1548
      CHEMICAL-WASH PORSCHE 1566
      PAINT-COLOR-SIKKENS PORSCHE RED 1661
      BLOW-OFF-DUST PORSCHE 1666
      PAINT-CLEAR-SIKKENS PORSCHE 1786
      UNMASK PORSCHE 1794
      ASSEMBLE PORSCHE 1944


Prodigy: problem


  The problems for Car-Painting2 are...

  sikkens      acrylic      lacquer      cheappaint   synthetic    
  

  Enter a problem: lacquer

; Loading /user3/class/csci/c473/c473ag/my-domains/car-painting2/probs/lacquer.lisp.


Prodigy: run


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

Goal State: (AND (SURFACE-FINISH NISSAN SHINY) (ASSEMBLED NISSAN))

CPU time: 2.8 seconds
Number of Nodes: 156
Solution Length: 32
Operator Sequence: 

      DISASSEMBLE NISSAN 150
      CHEMICAL-WASH NISSAN 168
      STRIP NISSAN 518
      BLOW-OFF-DUST NISSAN 523
      DRY-SAND-WITH-80-GRIT NISSAN 593
      BLOW-OFF-DUST NISSAN 598
      MASK NISSAN 658
      CHEMICAL-WASH NISSAN 676
      METAL-ETCH NISSAN 686
      PRIME NISSAN 836
      BLOW-OFF-DUST NISSAN 841
      APPLY-GUIDECOAT NISSAN 844
      DRY-SAND-WITH-220-GRIT NISSAN 929
      BLOW-OFF-DUST NISSAN 934
      APPLY-GUIDECOAT NISSAN 937
      DRY-SAND-WITH-320-GRIT NISSAN 1022
      BLOW-OFF-DUST NISSAN 1027
      APPLY-GUIDECOAT NISSAN 1030
      DRY-SAND-WITH-400-GRIT NISSAN 1130
      UNMASK NISSAN 1138
      SAND-EDGES NISSAN 1208
      BLOW-OFF-DUST NISSAN 1213
      MASK NISSAN 1273
      CHEMICAL-WASH NISSAN 1291
      PAINT-COLOR-LACQUER NISSAN BLUE 1343
      BLOW-OFF-DUST NISSAN 1348
      PAINT-CLEAR-LACQUER NISSAN 1423
      UNMASK NISSAN 1431
      BLOW-OFF-DUST NISSAN 1436
      WET-SAND-WITH-1000-GRIT NISSAN 1561
      RUB-OUT NISSAN 1696
      ASSEMBLE NISSAN 1846


Prodigy: problem


  The problems for Car-Painting2 are...

  sikkens      acrylic      lacquer      cheappaint   synthetic    
  

  Enter a problem: cheappaint

; Loading /user3/class/csci/c473/c473ag/my-domains/car-painting2/probs/cheappaint.lisp.


Prodigy: run


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

Goal State: (AND (SURFACE-FINISH FORD LACQUERED) (ASSEMBLED FORD))

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

      DISASSEMBLE FORD 150
      CHEMICAL-WASH FORD 168
      STRIP FORD 518
      BLOW-OFF-DUST FORD 523
      DRY-SAND-WITH-80-GRIT FORD 593
      BLOW-OFF-DUST FORD 598
      MASK FORD 658
      CHEMICAL-WASH FORD 676
      METAL-ETCH FORD 686
      PRIME FORD 836
      BLOW-OFF-DUST FORD 841
      APPLY-GUIDECOAT FORD 844
      DRY-SAND-WITH-220-GRIT FORD 929
      BLOW-OFF-DUST FORD 934
      APPLY-GUIDECOAT FORD 937
      DRY-SAND-WITH-320-GRIT FORD 1022
      BLOW-OFF-DUST FORD 1027
      APPLY-GUIDECOAT FORD 1030
      DRY-SAND-WITH-400-GRIT FORD 1130
      UNMASK FORD 1138
      SAND-EDGES FORD 1208
      BLOW-OFF-DUST FORD 1213
      MASK FORD 1273
      CHEMICAL-WASH FORD 1291
      PAINT-COLOR-LACQUER FORD BROWN 1343
      BLOW-OFF-DUST FORD 1348
      PAINT-CLEAR-LACQUER FORD 1423
      UNMASK FORD 1431
      ASSEMBLE FORD 1581


Prodigy: problem


  The problems for Car-Painting2 are...

  sikkens      acrylic      lacquer      cheappaint   synthetic    
  

  Enter a problem: acrylic

; Loading /user3/class/csci/c473/c473ag/my-domains/car-painting2/probs/acrylic.lisp.


Prodigy: run


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

Goal State: (AND (SURFACE-FINISH TOYOTA SHINY) (ASSEMBLED TOYOTA))

CPU time: 4.6 seconds
Number of Nodes: 244
Solution Length: 29
Operator Sequence: 

      DISASSEMBLE TOYOTA 150
      CHEMICAL-WASH TOYOTA 168
      STRIP TOYOTA 518
      BLOW-OFF-DUST TOYOTA 523
      DRY-SAND-WITH-80-GRIT TOYOTA 593
      BLOW-OFF-DUST TOYOTA 598
      MASK TOYOTA 658
      CHEMICAL-WASH TOYOTA 676
      METAL-ETCH TOYOTA 686
      PRIME TOYOTA 836
      BLOW-OFF-DUST TOYOTA 841
      APPLY-GUIDECOAT TOYOTA 844
      DRY-SAND-WITH-220-GRIT TOYOTA 929
      BLOW-OFF-DUST TOYOTA 934
      APPLY-GUIDECOAT TOYOTA 937
      DRY-SAND-WITH-320-GRIT TOYOTA 1022
      BLOW-OFF-DUST TOYOTA 1027
      APPLY-GUIDECOAT TOYOTA 1030
      DRY-SAND-WITH-400-GRIT TOYOTA 1130
      UNMASK TOYOTA 1138
      SAND-EDGES TOYOTA 1208
      BLOW-OFF-DUST TOYOTA 1213
      MASK TOYOTA 1273
      CHEMICAL-WASH TOYOTA 1291
      PAINT-COLOR-ACRYLIC TOYOTA SILVER 1351
      BLOW-OFF-DUST TOYOTA 1356
      PAINT-CLEAR-ACRYLIC TOYOTA 1456
      UNMASK TOYOTA 1464
      ASSEMBLE TOYOTA 1614


Prodigy: 