Prolog な本を積んでみた

• Smalltalk な本を積んでみた

にインスパイヤされて Prolog な本を積んでみた (普段から積ん読ですが)．

一部 GHC や Concurrent Prolog などの Prolog 拡張言語や論理プログラミング周辺の本も混じってますがより分けるのが面倒なのでまとめて．

自分はニワカなので和書の古い本が少ない (奥の列の上半分くらい) ですが，2ch の Prolog スレには自分の数倍持ってそうな人がいます．まだまだ精進が足りないようです．

積んだ書籍へのリンクを貼るのが正当なようなので追記しました．
並びは適当にカテゴライズしてだいたい出版社ごとに表紙の色で並べたので積んだ順番とは異なります．
なんか一冊数が合わないと思ったら「Concurrent Prolog: Collected Papers」は「2 vol. set」なのであった．
そして一冊発掘し損ねていたことが発覚．ちぇっ．

Prolog (和書)

Prologの技芸

論理による問題の解法―Prolog入門 (情報処理シリーズ)

Prolog入門

Prologへの入門 (PrologとAI)

AIプログラミング (PrologとAI)

Prologデータベース・システム

新世代プログラミング

Prologプログラミング入門

わかる Prolog (情報処理入門シリーズ)

Prologのソフトウェア作法 (岩波コンピュータサイエンス)

Prolog(プロログ)を学ぶ―文化とその実践

Prologユーティリティライブラリ

Prologで作る数学の世界―Prologそして集合‐位相‐群

Prologで学ぶAIプログラミング―「論理プログラミング」「Prolog」の入門から「人工知能」の基礎まで (I・O BOOKS)

知識表現とProlog/KR (ソフトウェア・サイエンス・シリーズ)

Prolog (洋書)

The Art of Prolog: Advanced Programming Techniques (Logic Programming)

The Practice of Prolog (Logic Programming)

The Craft of Prolog (Logic Programming)

Prolog Programming in Depth

Techniques of Prolog Programming with Implementation of Logical Negation and Quantified Goals

ICSS.Bratko: Prolog Programming f_p3 (3rd Edition) (International Computer Science Series)

Introduction to PROLOG

Learn Prolog Now! (Texts in Computing)

Logic Programming with Prolog

Programming in Prolog: Using The Iso Standard

Clause and Effect: Prolog Programming for the Working Programmer

Prolog: The Standard: Reference Manual

並行論理プログラミング (和書)

並列論理型言語GHCとその応用 (知識情報処理シリーズ)

並列Prologコンピュータ―データフロー処理によるアプローチ

並行論理プログラミング (洋書)

Parallel Logic Programming

Concurrent Prolog - 2 vol. set: Collected Papers (Logic Programming)

Logic Programming: Prolog and Stream Parallel Languages (Prentice Hall Advances in Computer Science Series)

P-Prolog: A Parallel Logic Programming Language (World Scientific Series in Computer Science)

Non-Deterministic Concurrent Logic Programming in Pandora (World Scientific Series in Computer Science)

Agent-Oriented Programming: From Prolog to Guarded Definite Clauses (Lecture Notes in Computer Science)

Parallel and Distributed Logic Programming (Studies in Computational Intelligence)

その他論理プログラミング (和書)

プログラム変換 (知識情報処理シリーズ)

制約論理プログラミング (知識情報処理シリーズ 別巻2)

帰納論理プログラミング

その他論理プログラミング (洋書)

Logic Programming Languages: Constraints, Functions, and Objects

Meta-Logics and Logic Programming

Meta-Programming in Logic Programming

Algorithmic Program Debugging (The MIT Press)

Types in Logic Programming

The Goedel Programming Language (Logic Programming)

Prolog ++: The Power of Object-Oriented and Logic Programming (International Series in Logic Programming)

Abstract Machine (Virtual Machine)

Warren's Abstract Machine: A Tutorial Reconstruction (Logic Programming)

Execution Models of Prolog for Parallel Computers (Research Monographs in Parallel and Distributed Computing)

A High Performance Architecture for Prolog (The Springer International Series in Engineering and Computer Science)

Implementations of Logic Programming Systems

Memory Performance of Prolog Architectures (The Springer International Series in Engineering and Computer Science)

The Transparent Prolog Machine: Visualizing Logic Programs

Parallel Execution of Parlog (Lecture Notes in Computer Science)

Concepts Design and Performance Analysis of a Parallel Prolog Machine (Lecture Notes in Computer Science)

発掘し損ねた本

積んで撮影できませんでしたが，以下の本も部屋の中のどこかにあります．

A Grammatical View of Logic Programming