Prologのページ

Prolog入門

• Prolog プログラミング入門

Prolog処理系

• Prolog Cafe : A Prolog to Java Translator System [お勧め]
  PrologからJavaへのトランスレータ． 作者は私の共同研究者の 番原君です． Javaさえ持っていれば利用できます．
• FAQ: Prolog Implementations
• SICStus Prolog
• Quintus Prolog (comp.lang.prologの記事 <ul91zv8g85w.fsf_-_@scheutz.sics.se> によると， 1998年4月よりSICSがQuintus Prologの権利を取得したそうです)
• K-Prolog ( Java Interface for Prolog)
• IF/Prolog
• Ciao Prolog New!
• Amzi! Prolog + Logic Server
• AZ-Prolog
• Trinc-Prolog
• SWI Prolog (フリー) [お勧め]
• GNU Prolog (フリー)
• B-Prolog (フリー)
• The YAP Prolog System (フリー)
• BinProlog (フリーでなくなりました)
• The PiLLoW Pages (Programming in (Constraint) Logic Languages on the Web)
• jProlog (Java版Prolog)
• MINERVA (Java版Prolog)
• W-Prolog (Java版Prolog)
• BirdLand's Prolog in Java (Java版Prolog)
• JavaLog (Java版Prolog)
• JP (Java版Prolog)
• DGKS Prolog (Java版Prolog)
• Visual Jinni and Free Java Based Prolog
• InterProlog: A Java front-end and enhancement for Prolog
• Linja (A loose coupling between Java & Prolog)
• KIEV
• klicとJavaのメッセージインターフェースに関する研究
• KLIJava: KL1 to Java Compiler based on KLIC 3.002 (Java版KL1)
• Java+Prolog systems and interfaces
• Languages for the Java VM
• Altavistaで，Prolog+Javaを 検索
• Deja Newsで，comp.lang.prolog中のProlog+Javaを 検索

• LLP: A Linear Logic Programming Language and its Compiler System
  直観主義 線形論理 に基づいた 論理型言語ですが， 通常のProlog処理系としても利用できます． PrologコンパイラやWAMの勉強用に最適?
• Prolog Cafe: LLP to Java translator
  LLPからJavaへのトランスレータです．
• Prolog-Java interface ( projava.tar.gz, 15K bytes)
• Yafo Prolog (Yet Another Fuzzy Oriented Prolog): yafoprolog.tar.gz

その他の情報

• 日本Prolog協会
• International Conference on Applications of Prolog (INAP)
• Practical Standard Prolog Courseware Initiative
• 制約プログラミング
• AITEC (旧ICOT)
• Association for Logic Programming
• fj.comp.lang.prolog, comp.lang.prolog, comp.object.logic: Prologなどについてのニューズグループ． fj.comp.lang.prologの過去の記事については， JAISTの NetNewsアーカイブを 参照．
• SAL: Languages & Compilers (Scientific Applications on Linux, Japanese mirror site)
• Logic Programming Page ( Linux Center)
• Prolog page at Cetus Links ( 日本のミラー)
• Languages for the Java VM
• CMU Prolog Repository: カーネギーメロン大学にあるProlog関連オンライン情報
• PC AI - The Prolog Programming Language
• Prolog Home Page: FAQなど
• On-line Prolog Guide
• The World Wide Web Virtual Library: Logic Programming: 論理プログラミングについてのVirtual Library
• Bibliographies on LP: 論理プログラミングについての文献案内(論文など)
• Computer Science Bibliography: データベースおよび論理プログラミングについての文献案内(論文など)
• Programming Language Prolog (Japanese Page)
• Links Related Logic Programming / Theorem Prover
• LP Group at Imperical College
• Lycos: Computers: Software: Programming: Languages: Prolog
• Prologプログラミング・コンテスト (日本Prolog協会) New!
• Prologプログラミング・コンテスト (ALP)
• KLICプログラミング・コンテスト (AITEC)

参考書

後藤滋樹 著，「PROLOG入門 --- 知識情報処理の序曲」， ソフトウェア ライブラリ 1，サイエンス社

Prologについてのやさしい入門書

塚本龍男 著，「わかる :- Prolog」， 情報処理入門シリーズ 12，共立出版

楽しい例題を通じてPrologを自然に学べる入門書

黒川利明 著，「Prologのソフトウェア作法」， 岩波コンピュータサイエンス，岩波書店

Prolog の入門から高度なプログラミングまで， いろいろなトピックを取り上げてある

黒川利明，田村直之 著，「Prologプログラミング入門」， KE養成講座 6，オーム社

Prolog入門，プログラミング技法， 論理学との関係などについてまとめてある

コワルスキ 著，浦昭二 監，山田眞市 ほか訳， 「論理による問題の解法 --- Prolog入門」， 情報処理シリーズ 8，培風館

Prologの創始者コワルスキの教科書

スターリング ほか著，松田利夫 訳，「Prologの技芸」， 共立出版

Prologのプログラミングテクニックの標準的教科書

高野真 著，「Prologで学ぶAI手法 --- 推論システムと自然言語処理」， 啓学出版

プロダクションシステム，自然言語インターフェイスなどについて， 実際にシステムをプログラムリストを含めて紹介している

後藤滋樹 著，「記号処理プログラミング」， 岩波講座 ソフトウェア科学 8，岩波書店

LISPとPrologについての教科書

Hassan Ait-Kaci: Warren's Abstract Machine --- A Tutorial Construction

WAMのテキスト (以前はMIT Pressから出版されていた)

Peter Van Roy: Implementation of logic languages

Prologのインプリメンテーションについて

Adventure in Prolog

Prologの冒険

その他あまり関連しないページ

• Prolog official Web page (http://www.kt.rim.or.jp/~yuchida/prolog/)
• www.prolog.co.jp
• www.prolog.com