Describing Computations

• Invocations and Rules
  
• Failure
  
• Expressions and Patterns
  
• Rule Bodies
  
• Variables
  
• Evaluation Strategy
  
• Shallow Backtracking
  
• Predicate Declarations
  
• Conditions and Actions