Programmieren mit Prolog
Programmieren mit Prolog
Programmieren mit Prolog
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
UnifikationEin Unifikator zweier Terme s und t (analog für Atome)ist eine Substitution σ, die diese Terme syntaktisch gleichmacht:sσ = tσEine Substitution σ ist allgemeiner als eine Substitution τ(geschrieben σ ≤ τ), falls es eine Substitution ρ gibt <strong>mit</strong>σρ = τEin Unifikator σ von s und t heißt allgemeinster Unifikator(most general unifier: mgu), falls für alle Unifikatoren τvon s und t giltσ ≤ τHochschule Darmstadt, Januar 2009 – p.34/54