snippets of logic - logique propositionnelle

logique propositionnelle logique des prédicats datalog programmation logique

feuille de route sur

config

Hier eine kleine Übersicht der Funktionen, die mir noch vorschweben, in willkürlicher Reihenfolge...

Anregungen sind willkommen^* (émail à):

andre dot frochaux at informatik dot hu-berlin dot de

In allen Teilen

Support Engl./Franz.
'Online'-Hilfe
Exakte Angabe aller verwendeten Definitionen.

Aussagenlogik

Erzeugen konj/disj Klauseln aus Normalformen
NNF geschwätzig
KNF aus NNF
DNF aus NNF
Resolvente, Davis-Putnam-Algorithmus,Tseitin
Tseitin mit Polarität
Dpll mit eigener Wahl des nächsten Literals
Merken von Formel(n) und Test auf Folgerung , Äquivalenz
Relaxtere Syntax (Klammersetzung) bei Eingabe

FO

Strukuren wie in Datalog (mit deren ToDo-Liste)
Auswerten von Termen/Formeln in der Struktur (als Anfrage)

Datalog

Mehr Hinweise beim Laden von Settings
Speichern/Laden eigener Settings

Logikprogramme

Demonstration der Algorithmen
- Antwort, UAntwort, PAntwort (Interpreter für Logikprogramme)
Suchbäume