Semantische Einführung in Prolog

Einführung:
-> Wie kann man Programmieren?
• imperative Sprachen: Delphi, Java, PHP, Pawno ... -> Folge von Anweisungen
• deklarative Sprachen: Prolog, Lisp ... -> beschreibt das Problem lösen tut die Maschine

Prolog -> Programmieren in Logik

Grundlegende Syntax:
• Fakten:
-> z.b. menschlich(john). (john ist menschlich)
`-> Wissensbasis

• Regeln:
-> z.b. sterblich(X):-menschlich(X). (wenn x mensch ist dann ist x sterblich)
-> sterblich(X). => X = john ergibt: sterblich(john). => true.

Beispiel:

menschlich(john).
menschlich(tobias).
tier(hamster).


sterblich(X) :- menschlich(X);tier(X).


besitzt(merkel, regierung).
besitzt(ceaser, geld).


reich(X):-besitzt(X, geld).

Diesen Code müsst ihr jetzt compilieren.

Nun könnt ihr Prolog fragen stellen.

z.b.
reich(X).
dort wird euch Prolog zurück geben
das Ceaser = X ist.

//edit Orthografie

Zitat von DMA

Mal rein davon ab, dass wichtige syntaktische Elemente, gar nicht erst beschrieben wurden.
Auf Wikibooks gibt's da etwas sinnvolleres, nützlicheres und verständlicheres..
Kurz und knapp, aber dafür wird alles sinnvoll angesprochen und kurz erklärt http://de.wikibooks.org/wiki/Prolog

Ich werde es natürlich noch weiter entwickeln bzw. weitere Tutorials machen. Es ist bisher nur ein Anfang. Prolog ist schon ein bisschen anders als c++ oder vb etc. Da gibt es eine riesige Datenmenge. Es soll auch nicht gleich zu viel sein weil sich sonst vllt eiige User überfordert fühlen