Expressivity of Functional Logic Languages

• Functions and nested calls
  Example

• Higher Order
  Example

• Lazy Evaluation
  Example

• Constraints
  Example

• Explicit Negation
  Example

• Disequality Constraints
  Example

• Normalization
  Example

• Default Rules
  Example 2

• index