Logic Programming

Logikprogrammierung

Enthält Quelldateien und zugehörige Informationen zu Logikprogrammierungscodes, die im Frühjahr 2018 für den Kurs CS6374: Computational Logic von Rahul Nalawade programmiert wurden.

Verzeichnisse:

1. Grundlegender Prolog
2. Listenverarbeitung, Bäume und Arithmetik
3. Effiziente Arithmetik, nicht deterministische Suche und belgisches Schlangenproblem
4. Antwortsatzprogrammierung und s(ASP)
5. Constraint-Logik-Programmierung