Logik in der Informatik
Prof. Dr. Nicole Schweikardt
Prolog-Übung: Module für die Aussagenlogik
Hier finden Sie die Module al_def, al_literals und al_nf, die für den Umgang mit aussagenlogischen Formeln ab Übungsblatt 10 erforderlich sind.
al_def.pl
: Grundlegende Definitionen für aussagenlogische Formeln
al_literals.pl
: Literale
al_nf.pl
: Normalformen
unit_propagation.pl
: Die Unit Propagation Rule des DPLL-Algorithmus
pure_literal.pl
: Die Pure Literal Rule des DPLL-Algorithmus
tseitin.pl
: Das Tseitin-Verfahren
dpll.pl
: Der DPLL-Algorithmus
