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: path "~/My_Domain"


Prodigy: domain "FishWorld"

; Loading /user3/class/csci/c473/c473cj/My_Domain/FishWorld/startup.lisp.
; Loading /user3/class/csci/c473/c473cj/My_Domain/FishWorld/functions.lisp.
; Loading /user3/class/csci/c473/c473cj/My_Domain/FishWorld/domain.lisp.
; Loading /user3/class/csci/c473/c473cj/My_Domain/FishWorld/sc-rules.lisp.


Prodigy: prob "goldfish"

; Loading /user3/class/csci/c473/c473cj/My_Domain/FishWorld/probs/goldfish.lisp.

  Goal State:  (COMPLETE_SETUP <TANK_SIZE> <TANK_TYPE> <PLACE>)

Prodigy: text

  The problem solving trace text is now off.

Prodigy: solve


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

Goal State: (COMPLETE_SETUP <TANK_SIZE> <TANK_TYPE> <PLACE>)

CPU time: 4.1 seconds
Number of Nodes: 57
Solution Length: 18
Operator Sequence: 

      GET_GOLDFISH_REQUIREMENTS
      SELECT_LOCATION TABLE
      SELECT_TANK_SIZE 8_HEX
      CHOOSE_TANK 8_HEX
      PLACE_TANK 8_HEX TABLE
      SELECT_FISH TIGERHEAD
      SELECT_GRAVEL WHITE_GRAVEL
      FILL
      CONNECT HEATER POWER_STRIP
      CONNECT POWER_STRIP WALL_OUTLET
      ADD_HEATER
      ADD_FISH TIGERHEAD
      ADD_GRAVEL WHITE_GRAVEL
      STOCK_TANK GOLDFISH_TANK
      COMPLETE_SETUP 8_HEX GOLDFISH_TANK TABLE


Prodigy: prob "goldfish1"

; Loading /user3/class/csci/c473/c473cj/My_Domain/FishWorld/probs/goldfish1.lisp.


Prodigy: solve


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

Goal State: (AND (COMPLETE_SETUP <TANK_SIZE> <TANK_TYPE> <PLACE>) (SWIMMING COMET) (HAS_LIGHT) (HAS_HEATER))

CPU time: 3.7 seconds
Number of Nodes: 54
Solution Length: 25
Operator Sequence: 

      SELECT_TANK_TYPE GOLDFISH_TANK
      GET_GOLDFISH_REQUIREMENTS
      SELECT_LOCATION TABLE
      SELECT_TANK_SIZE 8_HEX
      CHOOSE_TANK 8_HEX
      PLACE_TANK 8_HEX TABLE
      SELECT_FISH COMET
      SELECT_GRAVEL WHITE_GRAVEL
      ADD_THERMOMETER
      FILL
      ADD_FISH COMET
      ADD_FISH SHUBUNKIN
      ADD_GRAVEL WHITE_GRAVEL
      STOCK_TANK GOLDFISH_TANK
      COMPLETE_SETUP 8_HEX GOLDFISH_TANK TABLE
      CONNECT LIGHT POWER_STRIP
      CONNECT POWER_STRIP WALL_OUTLET
      ADD_LIGHT
      CONNECT HEATER POWER_STRIP
      ADD_HEATER


Prodigy: prob "mean"

; Loading /user3/class/csci/c473/c473cj/My_Domain/FishWorld/probs/mean.lisp.


Prodigy: solve


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

Goal State: (COMPLETE_SETUP <TANK_SIZE> <TANK_TYPE> <LOCATION>)

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

      SELECT_TANK_TYPE AGGRESSIVE_TANK
      GET_AGGRESSIVE_REQUIREMENTS
      SELECT_LOCATION TABLE
      SELECT_TANK_SIZE 8_HEX
      CHOOSE_TANK 8_HEX
      PLACE_TANK 8_HEX TABLE
      SELECT_FILTER UNDERGRAVEL_FILTER
      SELECT_FISH SEVERUM
      SELECT_GRAVEL WHITE_GRAVEL
      FILL
      CONNECT HEATER POWER_STRIP
      CONNECT POWER_STRIP WALL_OUTLET
      ADD_HEATER
      CONNECT LIGHT POWER_STRIP
      ADD_LIGHT
      ADD_THERMOMETER
      ADD_FISH ABA_ABA_KNIFE
      ADD_FISH OSCAR
      ADD_FISH PIRANHA
      ADD_FISH SEVERUM
      ADD_GRAVEL GRAY_GRAVEL
      ADD_GRAVEL GREEN_GRAVEL
      ADD_GRAVEL WHITE_GRAVEL
      STOCK_TANK AGGRESSIVE_TANK
      COMPLETE_SETUP 8_HEX AGGRESSIVE_TANK TABLE


Prodigy: prob "mean1"

; Loading /user3/class/csci/c473/c473cj/My_Domain/FishWorld/probs/mean1.lisp.


Prodigy: solve


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

Goal State: (AND (COMPLETE_SETUP 55_RECTANGLE AGGRESSIVE_TANK STAND) (SWIMMING ABA_ABA_KNIFE))

CPU time: 2.9 seconds
Number of Nodes: 52
Solution Length: 24
Operator Sequence: 

      SELECT_TANK_TYPE AGGRESSIVE_TANK
      GET_AGGRESSIVE_REQUIREMENTS
      SELECT_LOCATION STAND
      SELECT_TANK_SIZE 55_RECTANGLE
      CHOOSE_TANK 55_RECTANGLE
      PLACE_TANK 55_RECTANGLE STAND
      SELECT_FILTER UNDERGRAVEL_FILTER
      SELECT_FISH ABA_ABA_KNIFE
      SELECT_GRAVEL WHITE_GRAVEL
      FILL
      CONNECT HEATER POWER_STRIP
      CONNECT POWER_STRIP WALL_OUTLET
      ADD_HEATER
      CONNECT LIGHT POWER_STRIP
      ADD_LIGHT
      ADD_THERMOMETER
      ADD_FISH ABA_ABA_KNIFE
      ADD_GRAVEL WHITE_GRAVEL
      STOCK_TANK AGGRESSIVE_TANK
      COMPLETE_SETUP 55_RECTANGLE AGGRESSIVE_TANK STAND


Prodigy: prob "mean2"

; Loading /user3/class/csci/c473/c473cj/My_Domain/FishWorld/probs/mean2.lisp.


Prodigy: solve


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

Goal State: (AND (HAS_FILTER UNDERGRAVEL_FILTER) (PLANTED DUCKWEED) (HAS_GRAVEL BLUE_GRAVEL) (SWIMMING ABA_ABA_KNIFE))

CPU time: 1.9 seconds
Number of Nodes: 55
Solution Length: 25
Operator Sequence: 

      SELECT_LOCATION TABLE
      SELECT_TANK_SIZE 8_HEX
      CHOOSE_TANK 8_HEX
      PLACE_TANK 8_HEX TABLE
      SELECT_FILTER UNDERGRAVEL_FILTER
      CONNECT UNDERGRAVEL_FILTER AIR_HOSE
      CONNECT AIR_HOSE AIR_PUMP
      CONNECT AIR_PUMP POWER_STRIP
      CONNECT POWER_STRIP WALL_OUTLET
      ADD_FILTER UNDERGRAVEL_FILTER
      SELECT_PLANT DUCKWEED
      FILL
      ADD_PLANT DUCKWEED
      SELECT_GRAVEL BLUE_GRAVEL
      ADD_GRAVEL BLUE_GRAVEL
      SELECT_FISH ABA_ABA_KNIFE
      SELECT_TANK_TYPE AGGRESSIVE_TANK
      GET_AGGRESSIVE_REQUIREMENTS
      ADD_FISH ABA_ABA_KNIFE


Prodigy: prob "nice"

; Loading /user3/class/csci/c473/c473cj/My_Domain/FishWorld/probs/nice.lisp.


Prodigy: solve


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

Goal State: (COMPLETE_SETUP 55_RECTANGLE COMMUNITY_TANK STAND)

CPU time: 8.7 seconds
Number of Nodes: 80
Solution Length: 33
Operator Sequence: 

      SELECT_TANK_TYPE COMMUNITY_TANK
      GET_COMMUNITY_REQUIREMENTS
      SELECT_LOCATION STAND
      SELECT_TANK_SIZE 55_RECTANGLE
      CHOOSE_TANK 55_RECTANGLE
      PLACE_TANK 55_RECTANGLE STAND
      SELECT_FILTER UNDERGRAVEL_FILTER
      SELECT_FISH TIGER_BARB
      SELECT_GRAVEL WHITE_GRAVEL
      FILL
      CONNECT HEATER POWER_STRIP
      CONNECT POWER_STRIP WALL_OUTLET
      ADD_HEATER
      CONNECT LIGHT POWER_STRIP
      ADD_LIGHT
      SELECT_PLANT WATER_LETTUCE
      ADD_THERMOMETER
      ADD_FISH CLOWN_LOACH
      ADD_FISH DOJO
      ADD_FISH NEON_TETRA
      ADD_FISH TIGER_BARB
      ADD_PLANT WATER_LETTUCE
      ADD_GRAVEL WHITE_GRAVEL
      STOCK_TANK COMMUNITY_TANK
      COMPLETE_SETUP 55_RECTANGLE COMMUNITY_TANK STAND


Prodigy: prob "nice1"

; Loading /user3/class/csci/c473/c473cj/My_Domain/FishWorld/probs/nice1.lisp.


Prodigy: solve


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

Goal State: (AND (COMPLETE_SETUP 55_RECTANGLE COMMUNITY_TANK STAND) (SWIMMING DOJO) (SWIMMING CLOWN_LOACH))

CPU time: 5.0 seconds
Number of Nodes: 68
Solution Length: 32
Operator Sequence: 

      SELECT_TANK_TYPE COMMUNITY_TANK
      GET_COMMUNITY_REQUIREMENTS
      SELECT_LOCATION STAND
      SELECT_TANK_SIZE 55_RECTANGLE
      CHOOSE_TANK 55_RECTANGLE
      PLACE_TANK 55_RECTANGLE STAND
      SELECT_FILTER UNDERGRAVEL_FILTER
      SELECT_FISH DOJO
      SELECT_GRAVEL WHITE_GRAVEL
      FILL
      CONNECT HEATER POWER_STRIP
      CONNECT POWER_STRIP WALL_OUTLET
      ADD_HEATER
      CONNECT LIGHT POWER_STRIP
      ADD_LIGHT
      SELECT_PLANT WATER_LETTUCE
      ADD_THERMOMETER
      ADD_FISH DOJO
      ADD_FISH NEON_TETRA
      ADD_PLANT WATER_LETTUCE
      ADD_GRAVEL WHITE_GRAVEL
      STOCK_TANK COMMUNITY_TANK
      COMPLETE_SETUP 55_RECTANGLE COMMUNITY_TANK STAND
      SELECT_FISH CLOWN_LOACH
      ADD_FISH CLOWN_LOACH


Prodigy: prob "first"

; Loading /user3/class/csci/c473/c473cj/My_Domain/FishWorld/probs/first.lisp.


Prodigy: solve


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

Goal State: (COMPLETE_SETUP <TANK_SIZE> <TANK_TYPE> <PLACE>)

CPU time: 3.2 seconds
Number of Nodes: 50
Solution Length: 15
Operator Sequence: 

      SELECT_TANK_TYPE GOLDFISH_TANK
      GET_GOLDFISH_REQUIREMENTS
      SELECT_LOCATION TABLE
      SELECT_TANK_SIZE 8_HEX
      CHOOSE_TANK 8_HEX
      PLACE_TANK 8_HEX TABLE
      SELECT_FISH TIGERHEAD
      SELECT_GRAVEL WHITE_GRAVEL
      FILL
      ADD_FISH TIGERHEAD
      ADD_GRAVEL WHITE_GRAVEL
      STOCK_TANK GOLDFISH_TANK
      COMPLETE_SETUP 8_HEX GOLDFISH_TANK TABLE


Prodigy: prob "first1"

; Loading /user3/class/csci/c473/c473cj/My_Domain/FishWorld/probs/first1.lisp.


Prodigy: solve


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

Goal State: (AND (SWIMMING <FISH>) (PLANTED <PLANT>) (HAS_FILTER <FILTER>) (HAS_GRAVEL <COLOR>))

CPU time: 5.2 seconds
Number of Nodes: 107
Solution Length: 24
Operator Sequence: 

      SELECT_LOCATION TABLE
      SELECT_TANK_SIZE 8_HEX
      CHOOSE_TANK 8_HEX
      PLACE_TANK 8_HEX TABLE
      SELECT_FISH SEVERUM
      FILL
      SELECT_TANK_TYPE AGGRESSIVE_TANK
      GET_AGGRESSIVE_REQUIREMENTS
      ADD_FISH SEVERUM
      SELECT_PLANT WATER_LETTUCE
      ADD_PLANT WATER_LETTUCE
      CONNECT UNDERGRAVEL_FILTER AIR_HOSE
      CONNECT AIR_HOSE AIR_PUMP
      CONNECT AIR_PUMP POWER_STRIP
      CONNECT POWER_STRIP WALL_OUTLET
      ADD_FILTER UNDERGRAVEL_FILTER
      SELECT_GRAVEL WHITE_GRAVEL
      ADD_GRAVEL WHITE_GRAVEL


Prodigy: prob "mixed_fish"

; Loading /user3/class/csci/c473/c473cj/My_Domain/FishWorld/probs/mixed_fish.lisp.


Prodigy: solve


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

Goal State: (COMPLETE_SETUP 55_RECTANGLE AGGRESSIVE_TANK DESK)

CPU time: 0.2 seconds
Number of Nodes: 4


Prodigy: 