∀ x ∃ y x=y ∀ x ∀ y ∀ z ((E(x,y) ∧ E(y,z) ) → E(x,z)) ∀ x ∃ y (Geschwister (x,Vater(Mutter(y))) → Vorfahr(y,x)) (R_1(.a,.b,.c) ∨ R_2 (a))
Hinweise Roadmap Über config

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

Anregungen sind willkommen (email an):

andre dot frochaux at informatik dot hu-berlin dot de

In allen Teilen

Aussagenlogik

FO

Datalog

Logikprogramme