
           CRSV Version 1.31 (09/19/91)
CLIPS Cross Reference, Style and Verification Tool


========================  PROCESSING FILE  =======================

FILENAME: ../examples/dilemma1.clp
Warning (   73) in: opposites
        Relation <opposite-of> used prior to its definition.
Warning (  196) in: further-solution
        Fact bound to <node>, but not retracted.

===================  FINISHED PROCESSING FILE  ===================


===================== STATIC ANALYSIS SUMMARY ====================

Warning: A high percentage of rules (100.00%) have explicit salience values

==================================================================

Total number of rules ......... 7 
Total number of templates ..... 2
Total number of relations ..... 1
Total number of Warnings ...... 2

===================== DEFFACTS SUMMARY ====================
  Name                                      # of facts  File
  opposites                                         2   ../examples/dilemma1.clp

  initial-positions                                 1   ../examples/dilemma1.clp




======================= RULE SUMMARY ======================

INFO FOR RULE: further-solution
From file    : ../examples/dilemma1
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  Yes         0        2         1        1         1        0

INFO FOR RULE: move-alone
From file    : ../examples/dilemma1
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  Yes         0        2         1        0         1        0

INFO FOR RULE: move-with-cabbage
From file    : ../examples/dilemma1
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  Yes         0        2         1        0         1        0

INFO FOR RULE: move-with-fox
From file    : ../examples/dilemma1
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  Yes         0        2         1        0         1        0

INFO FOR RULE: move-with-goat
From file    : ../examples/dilemma1
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  Yes         0        2         1        0         1        0

INFO FOR RULE: print-solution
From file    : ../examples/dilemma1
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  Yes         0        1        18        1         0        0

INFO FOR RULE: recognize-solution
From file    : ../examples/dilemma1
Salience  Salience   # of      # of     # of      # of     # of
  Set?     Value    patterns  Actions  Retracts  Asserts  Ex Funcs
  Yes         0        1         2        1         1        0

===============  RELATION/TEMPLATE SUMMARY  ===============


-----------------------------------------------------------
   TEMPLATE NAME: moves
-----------------------------------------------------------

Appears on the LHS of the following rules:
   print-solution  (4 fields, with $?)
   further-solution  (3 fields, with $?)

Asserted by the following rules:
   further-solution  (4 fields, with $?)
   recognize-solution  (3 fields)

Retracted by the following rules:
   print-solution
   further-solution

The following literal values were used:
   In multi-field <moves-list>
	no-move (1 times)
   In field <id>
	no-parent (1 times)


-----------------------------------------------------------
   RELATION NAME: opposite-of
-----------------------------------------------------------

Appears in the following deffacts:
opposites  (3 fields)
opposites  (3 fields)

Appears on the LHS of the following rules:
   move-with-cabbage  (3 fields)
   move-with-goat  (3 fields)
   move-with-fox  (3 fields)
   move-alone  (3 fields)

The following literal values were used:
   In field 3:
	shore-1 (1 times)
	shore-2 (1 times)
   In field 2:
	shore-2 (1 times)
	shore-1 (1 times)


-----------------------------------------------------------
   TEMPLATE NAME: status
-----------------------------------------------------------

Appears in the following deffacts:
initial-positions  (9 fields)

Appears on the LHS of the following rules:
   further-solution  (9 fields)
   recognize-solution  (9 fields)
   move-with-cabbage  (9 fields)
   move-with-goat  (9 fields)
   move-with-fox  (9 fields)
   move-alone  (9 fields)

Asserted by the following rules:
   move-with-cabbage  (9 fields)
   move-with-goat  (9 fields)
   move-with-fox  (9 fields)
   move-alone  (9 fields)

Retracted by the following rules:
   recognize-solution

The following literal values were used:
   In field <last-move>
	cabbage (1 times)
	goat (1 times)
	fox (1 times)
	alone (1 times)
	no-move (1 times)
   In field <cabbage-location>
	shore-2 (1 times)
	CRSV_NIL (3 times)
	shore-1 (1 times)
   In field <goat-location>
	shore-2 (1 times)
	CRSV_NIL (3 times)
	shore-1 (1 times)
   In field <fox-location>
	shore-2 (1 times)
	CRSV_NIL (3 times)
	shore-1 (1 times)
   In field <farmer-location>
	shore-2 (1 times)
	shore-1 (1 times)
   In field <parent>
	no-parent (1 times)
   In field <id>
	initial-setup (1 times)
   In field <search-depth>
	1 (1 times)

====================  CRSV ANALYSIS COMPLETED  ===================

