SWI-Prolog, ein moderner Open Source Prolog-Interpreter (inkl. Editor, Debugger, Profiler)

SWI-Prolog-Editor, kostenloser Prolog-Editor für Windows von Gerhard Röhner

SICStus Prolog Prolog System des SICS (Swedish Institute of Computer Science), erlaubt z.B. constraints basierte Programmierung