Logik/Klassen

P(x) : x ist Person, C(x) : x ist Compiler, S(x) : x ist Sprache, K(x, y) : Person x kennt Sprache y.

schreiben Sie prädikatenlogisch (ggf. Signatur erweitern) und als Klassendiagramm (soweit möglich)

• nicht alle Personen kennen eine Programmiersprache
• es gibt Personen, die zwei Sprachen kennen
• jeder Compiler übersetzt eine Quellsprache in eine Zielsprache
• der Autor jedes Compilers kennt dessen Quell- und Zielsprache
• wer Haskell kennt, kennt jede Sprache
• zu jeder Sprache gibt es einen Compiler, der Maschinencode erzeugt