SWI-Prolog Tutorial/Buch

[Atropos]

Hi
Da ich es satt habe nur logische Programme zu schreiben will ich jetzt mal in die Implikative wechseln.
Hab dazu mal eine recht nette ,ich nenns ma Beschreibung, gefunden (http://www.ifi.uzh.ch/req/courses/lo...g_Tutorial.pdf).
Allerdings hilft mir das wenig ,da ich gerne die Syntax von Prolog lernen würde.
Also ein Tutorial das von Grund auf Prolog erklährt.
Leider finde ich nichts das mir wirklich weiterhilft.
Hat hier vl jemand einen Tipp für mich??
Am liebsten gratis als Tutorial ,aber Bücher sind auch gern gesehen.
Danke im Vorraus.

[EBFE]

Learn prolog now (vor allem siehe Kapitel 1.2 und 1.4 (Practical Session) )
http://www.amzi.com/AdventureInProlog/
http://www.cogsys.wiai.uni-bamberg.d...als/prolog.pdf

Nimmt Bezug auf SWI: http://www.cse.ucsc.edu/classes/cmps...rologIntro.pdf