プログラミング言語リンク集論理型言語リンク集Prologリンク集/ 処理系

Prologリンク集:処理系

目次

有料
フリー
ライブラリ
SICStus Prolog Homepage
http://www.sics.se/isl/sicstuswww/site/
SICS(Swedish Institute of Computer Science) という組織が配布している SICStus Prologという処理系のサイト。
Quintus Prolog Homepage
http://www.sics.se/quintus/
上のSICStus Prologと同様に SICS(Swedish Institute of Computer Science) という組織が配布している Quintus Prologという処理系のサイト。
Amzi!
http://www.amzi.com/
Amzi! inc. という会社によって開発された Amzi! PrologというPrologの処理系のサイト。
Trinc-Prolog, an object oriented prolog for Windows which supports the ISO Standard
http://www.trinc-prolog.com/
Trinc という組織によって開発された Trinc-PrologというPrologの処理系のサイト。
BinProlog - a high performance Internet oriented Prolog compiler
http://www.binnetcorp.com/BinProlog/
BinNet Corporation という会社によって開発された BinPrologというPrologの処理系のサイト。
K-Prologについて
http://www.kprolog.com/
株式会社KLS研究所 という会社によって開発された K-PrologというPrologの処理系のサイト。
IF/Prolog
http://www.ifcomputer.com/IFProlog/home_jp.html
イフコンピュータ という会社によって開発された IF/PrologというPrologの処理系のサイト。
Visual Prolog Home Page
http://www.visual-prolog.com/
Visual Prologという処理系のサイト。

フリー

SWI-Prolog's Home
http://www.swi-prolog.org/
SWI-Prologという処理系のサイト。
The GNU Prolog web site
http://pauillac.inria.fr/~diaz/gnu-prolog/
INRIA Daniel Diazさん によって開発されたGNU Prologという処理系のサイト。
The Ciao Prolog Development System WWW Site
http://www.clip.dia.fi.upm.es/Software/Ciao/
CiaoというPrologの開発環境(処理系も含む)のサイト。
The YAP Prolog System
http://www.ncc.up.pt/~vsc/Yap/
LIACC COPPE という組織によって開発された YAPというPrologの処理系のサイト。
さとおのページ
http://hp.vector.co.jp/authors/VA000672/
さとおさんによって開発された S-PrologというPrologの処理系が置かれているサイト。
Prolog Cafe: A Prolog to Java Translator System
http://kaminari.scitec.kobe-u.ac.jp/PrologCafe/
神戸大学 番原睦則さん によって開発された、Prolog Cafeという、 PrologからJavaへのトランスレータのサイト。
Teyjus
http://www.cse.psu.edu/~dale/lProlog/
University of Minnesota Gopalan Nadathurさん によって開発されたTeyjusという lambda Prolog の処理系のサイト。

ライブラリ

The public-domain Prolog library
http://www.j-paine.org/prolog/library.html
Jocelyn Paineさん のサイトの中にある、 Prologのライブラリを配布しているサイト。
プログラミング言語リンク集論理型言語リンク集Prologリンク集/ 処理系

Last modified: Saturday, 16 July 2005
Copyright (C) 2000-2005 Daikoku Manabu