神戸大学 Prolog ホームページ

This page has been accessed ????? since Jan 1 1999.
Last modified: Mon Dec 8 02:56:00 2008 JST

Prolog入門

Prolog処理系

その他の情報

参考書

後藤滋樹 著,「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の冒険

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


田村直之