Logikprogrammierung

Ein Programmier- und Schlussfolgerungsparadigma, bei dem Programme als Mengen logischer Klauseln ausgedrückt werden und die Ausführung durch zielgerichtete Beweissuche erfolgt, typischerweise unter Verwendung von Unifikation und Backtracking, um Ableitungen zu finden, die Ziele erfüllen.