Verwendung von Modi

• für jedes Prädikat wird eine nichtleere Menge von Modi deklariert
• für jede Benutzung eines Prädikates wird (vom Compiler) ein passender Modus festgelegt
• Implementierung: Matching statt Unifikation.

Matching-Problem:

• Eingabe: Terme t₁∈Term(Σ, V), t₂∈Term(Σ,∅)
• Ausgabe: Substitution σ mit t₁σ = t₂

Motivation: Lesbarkeit, Effizienz -- aber:

es gibt Prolog-Programme/Queries,
für die keine Modus-Deklarationen existieren.