Упомянем старые реализации Пролога: Quintus Prolog, Poplog, CProlog, Arity/Prolog, Prolog-2.

Лучшей, на мой взгляд, реализацией Пролога для учебных целей (вводная по языку, но не для коммерческих реализаций) является SWI-Prolog.

Наиболее мощной современной реализацией Пролога является Visual Prolog