Formalisierung (Auszug) des Strukturkerns K der Froschkönig-Theorie (hier in einem F-Logik-Derivat):

:- module = "Froschkoenig.html".
Frosch :: Tier .
Prinzessin :: Mensch .
Prinz :: Mensch .
Prinz [ liebt *=> Prinzessin ] .
kennt << liebt .
Pauline:Prinzessin [ verliert -> Paulines_goldene_Kugel ] .
Wilhelm [ holt -> Paulines_goldene_Kugel ] .
Wilhelm [ liebt -> Pauline ] .
Wilhelm : Frosch .

Wollen wir da hin?

• Vorteil: semantisch wohldefiniert und eindeutig
• Nachteil: syntaktisch und semantisch fehleranfällig; schwer zu verstehen
• scheinbare Lösung: grafische Obefläche!?