Institut für
Informatik, Universität Freiburg
Mittwochs 13.30-15, Gebäude 101, SR 00-010/014 (Vorlesung und danach Übungen)
Kontakt: Kristian Kersting Dr. Jussi Rintanen
Idee: Übersetzen zwischen Sprachen (Deutsch, Englisch, Finnisch, ...) basierend auf einer gemeinsamen logischen Sprache.
Finnisch -> Deutsch: sU(M,[nukun],[]), sD(M,S,[]) gibt S = [ich,schlafe]
Laden einer Datei datei7.prolog: consult('datei7.prolog').
auch: consult(user).
und: compile(user). (Programmen laufen viel schneller!)
Das derzeitige Programm zeigen: listing.
vp(f(X1,X2)) --> verb(X1), noun(X2)
automatisch auf normalen Prolog-Klauseln
vp(f(X1,X2),L1,L3) :- verb(X1,L1,L2), noun(X2,L2,L3).
Prolog-Prädikaten zwischen Klammern { } werden nicht übersetzt, z. B.
verb(A) --> intransitiveverb(A), { member(A,[1,2]) }
produziert
verb(A,L1,L2) :- intransitiveverb(A,L1,L2), member(A,[1,2]).