Schlagwort-Archive: Prolog

Prädikatenlogik für Anfänger – Prolog

Erste Grundbegriffe der Prädikatenlogik für jedermann verständlich erklärt.

Mehr zur Prädikationlogik auf Prädikatenlogik der ersten Stufe mit Identität und Prädikatenlogik.

Eine Teilmenge der prädikatenlogischen Formeln sind die Horn-Formeln. Fasst man Hornklauseln (Dissjunktionsterme mit höchstens einem positiven Literal) zu geordneten Listen zusammen, hat man, vereinfacht gesagt, ein Prologprogramm. Prolog (wikipedia) hat immer noch einiges zu bieten, wie man schnell auf Learn Prolog Now! erfahren kann. Siehe dazu auch SWI-Prolog’s home und The GNU Prolog web site.
Wenn ich schon die logische Programmierung erwähne, nur weil ich gerade ein gutes Anfängervideo für Prädikatenlogik auf YouTube fand, dann sollte ich vielleicht logisch konsequent auch auf das interessante The Mercury Project hinweisen. Mercury 11.01 läuft auch auf der x86 und x86-64 Architektur unter Linux.

(1126)