Das deutsche Python-Forum

Hat jemand schon etwas mit Prolog in Python gemacht?

Links zum Thema:

Pylog - eine Prolog Implementation:
http://christophe.delord.free.fr/pylog/index.html

Prolog3.py
http://www.ibiblio.org/obp/py4fun/prolog/prolog3.html

Pythologic
http://aspn.activestate.com/ASPN/Cookbo ... ipe/303057

Erweiterung:
http://aspn.activestate.com/ASPN/Cookbo ... ipe/413570


GnuProlog:
http://www.gprolog.org/

Standard Prolog Shell:
http://www.swi-prolog.org/

Ein allgemeiner Artikel zur Implementation von Mini-Sprachen:
http://www.ibm.com/developerworks/library/l-cpdec.html

Künstliche Intelligenz mit Python (AIMA Buch) enthält ein Kapitel über Expertensysteme mit Python:
http://code.google.com/p/aima-python/
http://aima-python.googlecode.com/svn/trunk/logic.py

Von den 3 genannten Implementationen hat wohl die dritte das beste Konzept. Allerdings ist der Code nicht fertig - es fehlt die Inferenz-Engine und ein Query-Interface.

Ich darf hier vielleicht noch Pyrolog anbringen, einen Prolog-Interpreter in RPython, der entsprechend zu C kompilierbar ist:

http://codespeak.net/pypy/dist/pypy/doc ... reter.html

Carl Friedrich Bolz hat ihn im Rahmen seiner, IIRC, Bachelorarbeit geschrieben.

Danke, das sieht sehr interessant aus. Ich habe mir die Bachelorarbeit mal durchgelesen...