Unifikation und Inferenz-Prozess

Terme
Termbaum
Hauptfunktor
Stelligkeit / Arität
Prologschreibweise
Unifikation
Substitution
Unifikator
Unifikationsschritte
Occurs Check
Prozedurale Bedeutung
Deklarative Bedeutung
Inferenz-Prozess
Logische Konsequenz
Schlussregel (formal)
Schlussregel (Beispiel)
Inferenz-Prozess (Baum)

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.

FAQ Kontakt Impressum Datenschutz Nutzungsbedingungen

© 2015 - 2024 Philipp Schweers