nntp2http.com
Posting
Suche
Optionen
Hilfe & Kontakt

Portierung von Sicstus Prolog nach ???

Von: Florian Weimer (fw@deneb.enyo.de) [Profil]
Datum: 07.06.2009 21:44
Message-ID: <873aab4ynr.fsf@mid.deneb.enyo.de>
Newsgroup: de.comp.lang.misc
Mir sind zwei in Sicstus Prolog geschriebene Programme zugeflogen (der
SPARK Simplifier und der SPARK Checker wurden offengelegt). Nun
versuche ich, sie mit einer freien Prolog-Implementierung zum Laufen
zu bekommen. Was ist dazu empfehlenswert? SWI Prolog, GNU Prolog, YAP?

Ich habe leider kaum Prolog-Kenntnisse (insbesondere nicht von den
Modulsystemen und wie typischerweise Standalone-Programme gebaut
werden). 8-/
[ Auf dieses Posting antworten ]

Antworten