Ich kann mir nicht so richtig vorstellen was bei der Axiomatisierung erwartet wird. Da ich auch Prolog nie benutzt habe, macht es das nicht grade leichter.
Könnte vielleicht jemand Start Tipps geben?

Sowas wie OK(C1),Ok(l1),light(l1) ist nicht der richtige Ansatz oder?

http://www.informatik.uni-hamburg.de/WSV/teaching/praktika/GwvPRAK_WiSe09/aufg02_GWV0910.pdf

Die zweite Aufgabe erweisst sich als noch unverständlicher, gibt es da irgendwen der mal ein paar Tipps dazu hat, oder der das letztes Jahr schon gemacht hat?

*bump* zu beiden Posts.