Prologリンク集：処理系

SICS(Swedish Institute of Computer Science) という組織が配布している SICStus Prologという処理系のサイト。

上のSICStus Prologと同様に SICS(Swedish Institute of Computer Science) という組織が配布している Quintus Prologという処理系のサイト。

Amzi! inc. という会社によって開発された Amzi! PrologというPrologの処理系のサイト。

Trinc という組織によって開発された Trinc-PrologというPrologの処理系のサイト。

BinNet Corporation という会社によって開発された BinPrologというPrologの処理系のサイト。

株式会社KLS研究所 という会社によって開発された K-PrologというPrologの処理系のサイト。

イフコンピュータ という会社によって開発された IF/PrologというPrologの処理系のサイト。

Visual Prologという処理系のサイト。

SWI-Prologという処理系のサイト。

INRIAの Daniel Diazさん によって開発されたGNU Prologという処理系のサイト。

CiaoというPrologの開発環境（処理系も含む）のサイト。

LIACC と COPPE という組織によって開発された YAPというPrologの処理系のサイト。

さとおさんによって開発された S-PrologというPrologの処理系が置かれているサイト。

神戸大学 の 番原睦則さん によって開発された、Prolog Cafeという、 PrologからJavaへのトランスレータのサイト。

University of Minnesota の Gopalan Nadathurさん によって開発されたTeyjusという lambda Prolog の処理系のサイト。

Jocelyn Paineさん のサイトの中にある、 Prologのライブラリを配布しているサイト。