First Order Horn Clauses

• 
• 
• can't describe the relations between attributes
• 
• can also have variables in the preconditions which are not used in the postconditions - such variables are assumed to be existentially quantified
• 
• can also represent (and learn!) recursive functions
•