login
Registrieren
Login
Bibliothek
Das System
Kontakt
Logische Programmierung
SLD-Resolution
Liste
erweitert
Stapel lernen
drucken
definite Klausel
indefinite Klausel
Prolog Klausel
Normale Klauseln
definite Zielklauseln
definites Programm
Horn-Klauseln
SLD-Resolution
SLD-Baum
Closed Word Assumption
Negation als Fehlschlag
Kommentare
Nur angemeldete Nutzer dürfen kommentieren.
Hier
geht's zur kostenlosen Registrierung.
FAQ
Kontakt
Impressum
Datenschutz
Nutzungsbedingungen
© 2015 - 2025 Philipp Schweers