Wichtiges aus dem SLNDF handout

definite Klausel
SLD
SLD vs Ableitungsbaum
Inferenz-Prozess
Vollständigkeit von Prolog
Vollständigkeit von Prolog
Fakten
Regeln
definites Programm
definite Zielklauseln
not(X)
normale Klauseln
bormale Programme
SLDNF

Kommentare

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

FAQ Kontakt Impressum Datenschutz Nutzungsbedingungen

© 2015 - 2024 Philipp Schweers