Logik-Programmierung

Ein Programmierungs-Paradigma, das Boolesche Logik verwendet, um zu steuern, wie Fakten und Regeln zu den Problemen innerhalb des Systems dargestellt oder ausgedrückt werden.