Evaluation Function

• target literal GrandDaughter(x,y)
• assertions - GrandDaughter(Victor,Sharon), Father(Sharon,Bob), Father(Tom,Bob), Femlae(Sharon), Father(Bob,Victor)
• given the 4 constants there are 16 possible variable bindings for the initial rule - 1 positve x/Victor,y/Sharon and 15 negative
• evaluation function - let be the rule created by adding a new literal to the old rule
• 
• where is the number of positive bindings of rule R and is the number of negative bindings, is the number of positive bindings of rule , is the number of negative bindings of rule , and is the number of positive bindings of rule which are still covered by
• reduction due to in the total bits needed to encode the classification of all positive bindings of R.