Contents

• Introduction
• Domain Terms
• Exclusion Terms
• Occurrence Bindings
• Domains/Exclusions in Relation Definitions
  • Facts and dom/exc Reductions
  • Clauses and bnd-to-is Reductions
• Finite-Domain/Exclusion Functional Programming
  • Domains/Exclusions as Function Arguments
  • Functions with Domain/Exclusion Values
• Domain and Exclusion Anti-Unification
• Operational Semantics
• Conclusions
• The RELFUN Meta-unify
• References
• Contents
• About this document ...