Prolog

enは論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。主に人工知能研究や計算言語学との関連性を持つ。定理証明、エキスパートシステム、自動計画、自然言語処理とも繋がりが深い。一階述語論理と形式論理を基礎にして、事実群と規則群の表現および関係の観点に立った宣言型パラダイムに準拠しており、その関係に則った質問によって計算が開始されるという性質を持つ。

Prologは、1972年にマルセイユ大学のアラン・カルメラウアーとフィリップ・ラッセルによって開発された。フランス語の「//fr//」がその名の由来である。Prologの誕生にはエディンバラ大学のロバート・コワルスキが考案したホーン節が大きく寄与している。カルメラウアーによる元祖版はマルセイユPrologと呼ばれている。その後、コワルスキの門弟のデヴィッド・ワーレンが1977年に改訂開発したエディンバラPrologが標準になってPrologは広く普及した。

1. 概要
-----

1972年ごろにフランスのアラン・カルメラウアーとフィリップ・ルーセルによって考案された。

成立の事情から、en プログラムは論理式とみなされ、その実行は述語論理によって述語が定義された環境における定理証明に擬して解釈されることが多い。利用者は論理プログラミングの枠組みを、取り分け述語論理を学習することで、この枠組みに極めて忠実なこの言語の基礎的な構造のほとんどを理解できる。その言語仕様はこの枠組み以外には考案者たちも含めてそれ以上の拡張をほとんど行っていないため、他のプログラム言語とは異なり、学習しなくてはならない概念や用語もまた、述語論理のものだけでこと足りる。基本的に計算機科学の新しい概念や新しい手法とは無縁である。ただし、SWI-Prolog等の処理系では様々な機能拡張の試みが行われている。一階述語論理は型理論や操作的意味論の研究論文で多数用いられており、今後、再注目される可能性がある。

1.1. 述語論理と論理プログラミング
-------------------

en のプログラムは一階述語論理に基づいてデータ間の関係を示す命題として記述され、処理系がそれらに単一化と呼ばれるパターンマッチングを施しながら、与えられた命題が成立するか再帰的手続きによって探索している。

プログラムの実行は述語集合が定義された環境の元で、質問することによってなされるが、これは反駁という述語論理的な証明過程を模して、処理系が用意する導出木と呼ばれるグラフをたどって解を得る過程である。 en のもととなるこの演繹手法は導出と呼ばれ、自動定理証明の研究において en 開発以前からよく知られていた。en は、導出において節を頭部が一つの命題からのみなるホーン節に限定したもので、この場合の導出をSLD導出と呼ぶ。ホーン節に限定しているということは、つまり、Prolog は任意の述語をそのまま扱えるわけではない。Prolog が述語の形式をホーン節に限定した理由は、もし頭部に項の連言を認めるならば、導出時の計算量が爆発的に増大して、全ての解を得ることの保証が難しくなることが必至だからである。

述語論理を論理的な背景に持つことによって、Prolog のプログラムはその正しさを確認することが比較的容易である。同時に、プログラマは en でプログラミングすることが何を意味するかを明確に理解した上で、プログラムを書いていくことができる。

1.2. 非述語論理的な立場
--------------

上記は en の一つの解釈である。一方、en というプログラム言語を述語論理という枠にはめないで捉える立場もある。導出、単一化、非決定性、双方向性、関係データベースといったこの言語に独特の機能とその表現力、記述力に着目し、そのプログラム言語としての可能性を率直に評価しようとするものだ。

新たに en を学びたいと思う人は、他のプログラム言語を全く知らなくても、ソフトウェア科学的な予備知識や概念に不通であっても、単一化という単純なルールをほとんど唯一の基軸として、パズル的な、あるいはゲーム的な感覚にだけ導かれて、プログラムを簡単に書き進むことができる。さらに、どの言語にも比して平坦で、平明な言語構造を持つ en はラベル名に適切な意味性を付与することにより、自然言語の領域にも接近したプログラミングが期待できるほとんど唯一の言語でもある。

十分述語論理的な教養を持った上で en を学び、そのプログラムを書くならば、短期間で高度で安定したプログラムを書くことができる。しかし、それを前提としないでも、en は冒険的で、未知の領域に満ちたプログラム言語なのである。

実はこれらの主張は、述語論理的な主張に隠れて、これまであまり強調されたことがなかった。

このような立場や主張が生まれる背景には、en が期待されたほどにはソフトウェア革新の担い手になり得ていない理由が、その後の数理論理学の学問的な評価をもって、プログラム言語としての可能性を十分検証することを放棄して、定理証明といった狭い目的へ封じ込めようとする風潮を生んだことにある、という反省がある。そのことを踏まえて、en が述語論理から成立したことにこだわらず、実在するプログラム言語として自由な視点からこの言語を見直そうとするものである。

1.3. 記号処理用言語・人工知能言語
-------------------

en は en の資産の多くを継承して間違いなく記号処理用の言語であるが、人工知能言語として分類されることも多い。これは、人工知能の世界では述語論理が古くから理論的な柱の一つとなっているからである。述語論理を基礎とするトップ・ダウン式の問題解決と同じく述語論理を基礎とする en の駆動機構の相性は当然良いため、人工知能研究に広く利用されてきた。特にエキスパートシステムで多用されるプロダクションシステムにおいては、ルールを自然に自ら動的に変更できる能力を持つことと、後ろ向き推論と呼ばれる推論が en の導出過程そのものであることから、その最も主要な記述言語の位置を占めてきた。

1.4. 宣言型言語
----------

en は一階の述語論理に対応することから論理型言語に分類される汎用言語であるが、その主張の一行一行を独立して論理式とほとんど等価な表現で行うことから、最も代表的な宣言型言語と見なされている。en のプログラム単位である述語の各節の本体に現れる質問単位である副目標数は平均5個以内と極めて少ない。この副目標と各節の頭部に現れる引数の組み合わせによって得られる関係が述語の意味を構成している考えられる。これが宣言型とされるゆえんである。

:- . % Prologの節は頭部と本体によって構成される。

% 述語定義は複数の節からなる。本体は幾つかの副目標からなる。 % 副目標の全てが真となった時に節の宣言は成立する。

述語名 :- ,. 述語名 :- ・・・<WtXmlEndTag />

1.5. 単一化
--------

単一化は1960年代の述語論理理論の発展の鍵となった概念であるが、en が述語論理に導かれて機械による自動証明を実現するためのプログラム言語として成立したことから、必然的にこの言語の必須の最も重要な機構となった。単一化は副目標と対応する定義節の頭部のパターンが完全に一致するか、調べることで、節の選択を可能にする。さらに、en の実行順序等の制御は単一化のからくりを利用してプログラミングされる。

簡単なからくりでかつ極めて強力な単一化であるが実行コストも大きい、すなわち実行速度が遅くなる原因となる。さらに、パターンとして認識することと引き換えに、引数での関数評価は不可能になった。独立して節の本体で式評価を記述しなくてはならないため、数値計算ではやや冗長になる。 これらの点は、単一化の強力さとのトレードオフの関係になっている。

1.6. 動的型付け
----------

型付けは動的型付けに分類できるが、言語仕様の中に型概念は登場しない。上記の単一化、バックトラッキング、と論理変数の束縛においては独特のものがあり、その実行は型推論の実行過程に酷似している。既に en はその引数の引渡し時に単一化という厳密なパターンマッチングを施すことに多大なコストを掛けた。単一化だけでプログラムをコントロールできる言語が en であるといっても過言ではない。この単一化のみによる簡素で強力なプログラムコントロールの足を引っ張ることに成り兼ねない、型付けの強化は、en 言語とその支持者によって受け入れられることはないだろう。

1.7. 非オブジェクト指向言語
----------------

en は言語による思考をモデル化して主語・述語といった意味での文中の述語を特に重視して記述する系である。この一点からも、対象物を中心に記述していくオブジェクト指向とは距離が大きい。述語論理以前にオブジェクトありきとする立場を一般には取らない。

いくつかの処理系では、オブジェクト指向言語としての拡張が行なわれているが、オブジェクトを中心に設計されることは、論理プログラミングを重視して記述される限りほとんどない。分類するならば、非オブジェクト指向言語に分類される。オブジェクト指向に拡張された言語としては

Visual Prolog
Logtalkが存在する。

1.8. オンメモリデータベース
----------------

後に述べるが en の述語はその構造が頭部と本体と分かれていて、本体はルールを意味するため、全体として、ルールを持ったデータベース、演繹データベースとして捉えることができる。これはPrologプログラム全体がデータベースであるということだから、データベースの表現としては最強のクラスに属する。一方、事実を表す本体のない頭部のみの定義節による述語は関係データベースとその集合論的な性質で一致する。収集した情報を一つの述語に対して多数の頭部のみを持った節の集まりとして定義することにより、オンメモリ関係データベースを構築することが可能である。しかし、Prologをデータベース管理システムとして捉えた場合、assert、retract、setof、bagof、findall という組込述語を持つこと以外には、管理機構としての特別の組込述語が用意されている訳ではなく、ディクショナリ管理などのための述語定義をユーザが追加する必要がある。

1.9. 非決定性と双方向性
--------------

関数型言語等、他のプログラミング言語と比較しての en の特長は、上記、一階述語論理に基づくこと、単一化、データベース言語的性格の他に、非決定性と双方向性が挙げられる。

非決定性は、解が唯一とは限らない場合、処理系側から見てひとつの解に決定できない場合、外部からの選択の余地を与える。そういうことが当然可能なこととして述語は定義されていく。インタプリタトップではなく、導出を繰り返すプログラム内部にあっては、処理系側とした所を述語と置き換えて考えると、非決定性の述語の解を決定するのは、前方または後方に連接する質問である。前方の副目標群から引数経由で与えられる情報によって副目標は一つの解を作り出すが、この解が真であるとするのは最終的に後方に連接する副目標である。この後方に連接した副目標が全て真となった場合に限り副目標は真となる。後方に連接する副目標のどれかが真にならなかった場合は、それが存在すればであるが別解を用意しなくてはならない。ここでも非決定性の述語、ここでは副目標から見ての解の決定権は、外部にあるということになる。

非決定性は導出の過程、取り分けバックトラックアルゴリズムと一体化しており、en プログラムの制御の根幹のひとつである。ただ、非決定性述語実行時に見られる論理変数の 束縛→解放→再束縛という遷移、すなわち一度束縛されたものが別のものに再度束縛されるということを好ましくないとする見方もある。

双方向性は、述語が実行された場合の返り値は真または偽だけであり、その代わりとして引数内の変数で値の授受を終始するのだが、このとき、入力として使われた変数が出力に、出力として使われていた変数が入力として使うことのできる述語となることがある。この性質を双方向性という。多くの場合、双方向性を持つ述語はそれ自体多義性を持つ。例えば append という3引数の述語は第一引数と第二引数に具体的なリストが来て呼ばれた時は、リストを結合する意味でよいが、第三引数がリストで第一引数と第二引数が変数の状態で呼ばれた場合その意味は、リストを分解する、がふさわしい。既に存在するリストを、それが結合されて存在したものと考え、それではどのように結合されていったか、あるいは、どのような組み合わせで結合されていったのかを、示していると解釈できる。

このような、双方向性は en の述語自らがリバースエンジニアリング的開示能力を持ち、それを示していると捉えることができる。この性質は、Prologを含む論理型プログラム言語の持つ際立った特徴であり、プログラム作成時はもちろん、テスト、デバッグなどの検証の各段階でプログラムコードに対する見通しを向上させる。

1.10. en プログラミングの難しさ
--------------------

プログラマは引数の単一化、再帰/失敗駆動等のプログラムパターンの選択、非決定性、双方向性といった特長をできる限り生かすことなどに配慮しながら、述語の骨格を決めプログラミングを進める。しかし、これらの特長、性質は複合した場合には相当に複雑であり、制御上相反する部分も多々ある。en では、述語論理を逸脱して計算量/資源量/制御の調整に当たる述語「!」を導入してこの問題に対処しているが、en プログラミングの難しさはこの調整部分に集中している。

2. 歴史
-----

2.1. 誕生
-------

en の性格上、その歴史には定理の自動証明の研究が大きく関係している。1930年にジャック・エルブランは自動定理証明やPrologのベースとなる数理論理学上の基本定理であるエルブランの定理を発表した。エルブランの論文には en で必須の単一化アルゴリズムもすでに含まれていた。

1950年代以降、計算機上での定理証明の研究が活発になり、ギルモアのアルゴリズムやデービス・パトナムのアルゴリズム 、プラウィツによる定理証明への単一化アルゴリズムの導入などを経て、1965年のロビンソンによる導出原理 や1960年代後半のラブランドによるモデル消去の証明手続きの成果からひとつの結実期を迎えた。その数年後の1971年マルセイユ大学のアラン・カルメラウアーとフィリップ・ルーセルのグループは自動定理証明システムとフランス語の自然言語解析システムとを組み合わせたコンピュータとの自然言語対話システムを作成していた。この際に自然言語解析システムも自動定理証明システムと共通の論理式という枠組みで構築できることに気が付き、論理式をそのままプログラムとして実行できる最初の en を1972年に完成させた。これは数千年に及ぶ人類の叡智である論理学の成果をプログラム言語に置き換えたものと言えるが、現在の en でプログラムの制御に使われるカットオペレータに相当する機能が最初から導入されるなど、現在の en と同様、単なる定理証明システムではなくプログラミング言語として設計されたものだった。以下にその当時の en プログラムの一部を示す。論理変数名の最初の文字が "*" で始まるなど、現在の en とはシンタックスが異なる。 READ RULES +DESC -CHILD;; +DESC -CHILD -DESC;; +BROTHERSISTER -CHILD -CHILD -DIF ;; AMEN

2.2. コワルスキとen
-------------

彼らグループに理論的な助言を与えていたエジンバラ大学のロバート・コワルスキとデービッド・H・D・ウォレンは汎用機 en 上にマルセイユ大学とはシンタックスが異なる処理系を作り上げた。これは後に en と呼ばれることになるが、ISO 標準規格を含む今日動作する en 処理系はほとんどがこの系統のシンタックスに従っている。 desc :- child. desc :- child,desc. brothersister :- child,child,dif. コワルスキはその後、インペリアル・カレッジ・ロンドンに移り、1979年に集大成ともいえる「en」を著し、その後のこの言語と論理プログラミングの研究に決定的な影響を与えた。

コワルスキの活動と en の存在によって、英国は en 研究の中心地となった。エジンバラ大学のW・F・クロックシンとC・S・メリシュの著わした「en」は長く en のバイブル本として利用された。エジンバラ大学からSRIインターナショナルに転じたディビッド・ウォレンは1983年 en の仮想マシンコードであるWarren's Abstract Machineを発表した。この後の en 処理系の実装は、一旦C言語などでこの仮想マシンコードを実装して、その上で en のソースコードをこのマシンコードに変換するコンパイラを用意するという手順を踏むことによって、開発を簡素化し実装上の標準化を図ることが普通になった。日本の新世代コンピュータ技術開発機構の en マシン PSI は1987〜1988年頃に開発された PSI2 からこれを採用したし、その後開発された en 処理系の多くはこの方式に従った。

1976年にSRIに留学していた古川康一はカルメラウアーらの en 処理系のリストを見つけ帰国時に電子技術総合研究所に持ち帰った。当時電子技術総合研究所で推論機構研究室長をしていた渕一博はこのリストを解析して en 処理系を走らせ、ルービックキューブを解くプログラムを作成するなど論理プログラミングに対する理解を深めていった。

1978年MITに留学中の中島秀之が「情報処理」誌に紹介記事を寄稿して、en は日本でも広く知られるようになった。

2.3. 新世代コンピュータ技術開発機構とen
-----------------------

1970年代終り頃、日本では通産省の電子技術総合研究所の渕一博を中心とするグループが論理プログラミングの重要性を認識して、日本のコンピュータ技術の基礎技術としてこれを取り上げることを提案する。これが最終的に1980年代の新世代コンピュータ技術開発機構の発足と活動につながった。総額約570億円の国家予算を約束されて1982年に新世代コンピュータ技術開発機構は活動を開始する。en を含む論理型言語はこの研究の核言語と位置づけられ世界的な注目を浴びることとなる。約10年間の研究活動中に en と論理プログラミングの研究は急激に深化した。実際1980年からの20年間に en をメインテーマにした日本語の書籍は約50冊発刊された。ICOT の研究員は積極的に Prolog の啓蒙に努め、講習会、チュートリアル、ワークショップを年に一度ならず開催した。en が主催したロジック・プログラミング・コンファレンスは1983〜1985年頃をピークに若い研究者達を刺激した。研究活動前半の期間では論理型言語の実用性を証明するために、enマシンが設計され、三菱電機と沖電気によって製作され、en の他大学等研究機関に配布された。この個人用逐次推論マシン PSI の機械語 KL0 は単一化やバックトラックなど en の基本的特徴を完全に備えていた。この KL0 によって、PSI のマイクロコードを制御した。KL0 を基礎として、オペレーティングシステム en が設計され、これを記述するために、en にオブジェクト指向プログラミングを取り入れた ESPが近山隆により設計されて使われた。ESPは多重継承を特徴とする当時としては先鋭のオブジェクト指向言語であったが、後にカプセル化の不備などが指摘されて、今日あまり話題となることはない。しかし、OSを記述するという課題を通じて、論理型言語にオブジェクト指向言語的要素を加えることによって、可読性が高まりプログラム管理がしやすくなることが確認された。その反面、en のみでオペレーティングシステム
を完全に記述してみる絶好の機会を逸したことも確かである。ESPはPSIを前提にせずに利用できるように、C言語で書き直したCESPが開発されたが、これが普及への起爆剤になることはなかった。後に述べるように、PrologのISO標準規格のモジュール仕様としてESPの採用が否決された1995-6年頃以降はほとんど利用されることはなくなった。

ここまで述べたように、Prologは en によって持ち上げられた言語 en との印象が強いが、en というプログラミング言語から見ての en の影響は実は限定的だった。淵所長ら en の主研究テーマは並列論理型言語にあり、研究後半では en そのものからは離れて行くことになる。PSI に使用した電子基盤を利用して並列推論マシン PIM が製作されて、enに基づく並列演算処理を追加した KL1 が設計された。この環境に依存する形で、並列論理プログラム言語のKL1は知識プログラミング全般の研究に利用された。PSI と en を使った研究も続けられはしたが、割り当てられた研究員の数は極めて少なかった。

en の活動を総括して、知識プログラミング各課題において準備不足からくる未消化を指摘する向きが強いのだが、こと en から見ての前半期の活動は、今日語られることも少ないが、極めて充実したものであったといえる。

en の活動盛期の1984年京都大学の学生3名が研究課題として製作した en がその性能の高さとアセンブラで記述されたことからくる高速性で世界を驚かせた。この処理系は en 上で製品化されて en の普及に大きく貢献した。en や末尾再帰の最適化など高い安定した性能で黎明期のパソコン上のビジネスソフトの基礎言語としての展開も期待されたが、16ビットの整数しか持たず、浮動小数点数も扱えない仕様であったため、この分野への展開は起こらなかった。この点はアセンブラで記述されて簡単には拡張できない点が裏目に出た。結果としてこの仕様の乏しさが、日本のビジネスソフトが知識プログラミングの水準との間に横たわる分水嶺を越えることができなかった原因の一つとなった。

2.4. 1990年代とISO標準規格
-------------------

1990年代に入ると制約論理プログラミングが注目され処理系が多数誕生した。これは en から見ると引数の論理変数間の関係を記述可能に拡張したものである。制約論理型言語は、変数評価に遅延実行などを持ち込むことが必要となるが、連立方程式をはじめとする多くの課題で en より記述が柔軟になる。en の組込述語には引数が変数で渡るとエラーとなるものが多く、このため en プログラマは変数が具体化されるように副目標の記述順序に気を配る必要がある。結果としてプログラミングに逐次性が生じる。制約論理プログラミングにおいては、後に変数が具体化されたときに検査されるための変数の間の制約を記述するだけで、この逐次性の拘束を解決して通過することができる。実はこの制約はPrologから見ても自然な拡張であり、むしろ en の単一化が制約論理プログラミングの制約を「=」のみに限定したものだと解釈することができる。しかし、簡素で逐次的な性格を強く持つ en の処理系に慣れた利用者が、制約論理プログラミングの述語中に更に変数制約の宣言を追加しなくてはならない負担を、受け入れているとは言い難い。制約論理プログラム処理系が en のそれに置き換わる気配は、2013年11月現在においてもない。

ISO の標準化作業は1987年頃から作業委員会が作られ、日本委員も情報処理学会から15名ほどがこれに加わった。1995年 ISO標準規格がISO/IEC 13211-1 Prolog-Part 1: General Coreとして制定された。さらに、2000年にはISO/IEC 13211-2 Prolog-Part 2: Moduleとしてモジュール仕様が追加して規格化された。モジュール仕様については日本委員から、ICOTによって作成されたESPを以てその標準とする案が出されていたが、これは否決された。

ISO標準規格はエジンバラ仕様 en を基調に既に一家をなしていた en など有力ベンダと主としてヨーロッパの学者を主体にこれに日本などの委員が参加して作成された。この規格は現在 Prolog 処理系の製作者に指針を与え、大きな逸脱を心理的に妨げる役割を果たしているが、組込述語の個々の仕様ではベンダの意向が強く反映されたものの、全体としては最初に述べた論理学的立場を尊重して保守的で極めて小さな仕様となっている。そのため多くの en 処理系はこの規格の述語を搭載しつつ、独自の拡張部分を修正したり削除することに消極的である。結果として個々の処理系の互換性の乏しさは残り、それは en の弱点として認識されている。

JIS規格も一旦は2001年にJIS X 3013:2001が、"標題 プログラム言語Prolog―第1部：基本部"が要約JISとして発行されたが、2012年1月に何ら実効を見ること無く、「周知としての目的は終了した」として廃止された。

2.5. 人工知能ブームとen
---------------

日本において、en の活動時期から1990年代前半に掛けては、いわゆる人工知能ブームの時期であり、人工知能研究への期待はこの時期再び異様に高まった。en マシンによる医療情報エキスパートシステムでの成果は、人工知能の研究の成果の一部は情報処理に於いても利用可能なのではないかとの夢を抱かせた。このような評価の中で en は人工知能のアセンブリ言語的な位置づけを期待された。知識情報処理はこの水準の言語を基礎にその上側に築かれるべきだとの意味である。手っ取り早く利用可能な人工知能技術としてエキスパートシステムが選別され、これを支えるナレッジエンジニアの存在とそれを養成するための教育が必要とされた。en はその中心に存在した。日本も例外ではないが、日本以外の国では特に、en の名著は1990年代前半に刊行されている。これは、en の活動とは若干のタイムラグがあるが、この時期社会的に 人工知能向き言語としての en に大きな期待が寄せられていたことの証しである。エキスパートシステムはビジネス分野において広範囲に応用可能な基礎技術であったが、このような低水準な分野への適用はあまり試みられず、この分野からの en 言語への要請はほとんど見られないまま終った。

機械翻訳などの自然言語処理もまた人工知能の一翼を担う分野であるが、歴史的経緯から人工知能ブーム以前から、この言語に最も期待が掛けられた分野であった。しかし、左再帰問題の回避でトップダウン解析の明解さをいきなり殺がれた。さらに句構造文法への適用においては、en が得意とする、句構造に分解して意味に相当するグラフを形成することの他に、極めて膨大な辞書を構造体として定義する必要が展望された。この辞書作成は en とは直接関係しないタスクであることから、次第に en は句構造文法によるアプローチの前線から後退してしまった。統計的言語処理のアプローチでは、単一化等に多くの計算量を費やす en は大量データを扱うのに不向きとされて、利用されることはほとんどない。自然言語処理のテキストの多くが en を用いて解説されているにも関わらず、期待が大きかった割に実務的には、表面に現れている成果はIBM社のワトソン程度にとどまり、自然言語処理はむしろ en 評価の足を引っ張る傾向にさえある。

2.6. en以後の日本における衰退
------------------

日本においては、en 解散後数年を経て、論理プログラミングと en は急激に下火となる。先にあげたコワルスキの成果があまりにも完成されたものでその研究成果の範囲を越えることが難しかったこと、歴史的にプログラム言語でありながら論理学からの逸脱を厳しく制限され、自由なアイデアによるプログラミング言語としての発展・展開が困難に見えたことも研究者・技術者を離れさせた。そして、人工知能ブームもまた去って行った。企業等で続けられた研究開発も発表される機会がen産業応用シンポジウムなどに限定され、人々の目に en の成果が触れることは極端に少なくなった。en の多大な研究成果がネット上に閲覧可能な状態で置かれたが、en 言語の処理系はインターネット時代の技術・流れに乗れず、初心者・初学者が利用するためのネット上での情報も他の有力言語に比べて少なく、新しい利用者を惹きつけることができなかった。パソコンのオペレーティングシステムとして en が一般に普及し始めると、初心者教育にウィンドウの部品の展開を題材とするのに適したオブジェクト指向言語に人気が集中し、en は動作の遅い外れた言語のイメージを持たれるようになる。さらに21世紀に入ると en がクラス概念を持たないため、マイクロソフト社による en アーキテクチュアの共通言語基盤の対象言語から外され、この傾向に拍車をかけた。ついには枯れた言語というニュアンスを含んでではあるが、「化石言語」と揶揄されるまでに至ったのである。

2.7. 今日
-------

盛時の勢いは失ったものの、en は各教育機関で主として論理学の教材として利用され続け、今日まで数万人の人が en の講座を受講している。実務的に利用される機会が少ないにも関わらず、その素養を持つ人が大量に存在するという特異な位置にあるプログラム言語となっている。また、多くのプログラミング言語でその言語上にPrologインタプリタを制作してみることが難度の高い学習課題の一つとして採用され、その結果としてもPrologを理解しているプログラマは増加する傾向がある。

2011年夏 ブルース・A・テイト著『7つの言語 7つの世界』が出版され、その7つの言語の一つとして en が紹介されたことから、多くの人々の関心を呼び起こし、この言語は突然に息を吹き返した。ダニエル・ジャクソン著『抽象によるソフトウェア設計』も翻訳されて述語論理に基礎を持つ形式記述言語 en が注目されるなど、en に極めて親近した領域での議論がようやく活発になった。
2012年 イワン・ブラトコ著「en」の第四版が11年ぶりに刊行されて、人々に en は今でも活火山的な存在であることを印象付けた。また、世界的に利用されているアプリケーション自動生成ツール en が en によって書かれてからそれを他の利用言語に変換されて製品化されていることや、IBM 社のワトソンの根幹部分である言語解析部分と質問の生成部分を現在も en が担っていることなどが次々と喧伝されて、応用面でも現役言語であることが改めて認識されつつある。さらに世界的な関数型言語への急激な関心の高まりによって、関数型言語と類縁性の高い論理型言語の盟主であり、人気関数型言語 en の原像でもある en への関心は再び強まってきた。
2013年 IBMはワトソンの商用化を積極的に進めることとし、研究開発要員を2000名に増強することを発表した。さらに2014年秋、ソフトバンクとの間でワトソンの日本語化で提携することが発表された。ソフトバンクは既にADSLの故障診断をPrologで開発して利用してきた実績があり、既に公開され、2015年春出荷が予定されている感情認識パーソナルロボットPepperでも中核部にPrologを採用することが予想されている。同社がワトソンと強く結びつくことによって、Pepperが将来ワトソンから情報を受け取ることによって、どのように強化されて、変化していくのかということが俄然興味深い問題に浮上した。同時に、その二つのシステムに跨って、Prologがどのような関わりを持つのか、役割を担うのかということも注目されている。
2021年8月4日に発表された"TIOBE Index for August 2021"で19位にランクされた。この指標は検索数や記事数などの指標であり、20位以内の復帰は2003年以来となる。世界的に話題性を取り戻しつつある証だろう。

2.8. 今後
-------

2016年 FLOPS で Ki Yung Ahn と Andrea Vezzosi の論文 Executable Relational Specifications of Polymorphic Type Systems で Prolog による Let多相の型推論器が発表された。あまり話題にはなっていないが、昨今の型理論には一階述語論理が用いられており、型システムの実装実験において極めて簡略に記述出来るため、利用されていく可能性がある。
Prolog向けの集合論的型システムが実用化されれば、関数型言語学会において古くから用いられてきた数式をより形式的にできるようになるかもしれない。

3. 処理系
------

多くの処理系は en の基本機能以外に、制約プログラミングや並行プログラミングのための拡張機能や en などの各種言語をライブラリとして含んでいる。



4. 国際会議
-------

[1] —
FLOPS ー International Symposium on Functional and Logic Programming

5. 脚注
-----

5.1. 注釈
-------

5.2. 出典
-------

6. 参考文献
-------

William F. Clocksin, Christopher S. Mellish: //Programming in Prolog: Using the ISO Standard//. Springer, 5th ed., 2003, ISBN 978-3540006787.
Leon Sterling, Ehud Shapiro: //The Art of Prolog: Advanced Programming Techniques//, 1994, ISBN 0-262-19338-8.
D.L. Bowen, L. Byrd, F.C.N. Pereira,L.M. Pereira and David H.D. Warren: [2], University of Edinburgh,1982.
//ISO/IEC 13211: Information technology — Programming languages — Prolog [3] [4]//. International Organization for Standardization, Geneva.
Robert Kowalski. [5], CACM January 1988.
Alain Colmerauer, Philippe Roussel. [6], in //The second ACM SIGPLAN conference on History of programming languages//, p. 37-52, 1992.
David H D Warren, Luis M. Pereira and Fernando Pereira, [7]. ACM SIGART Bulletin archive, Issue 64. Proceedings of the 1977 symposium on Artificial intelligence and programming languages, pp 109 - 115.
Buss, Samuel R., "On Herbrand's Theorem", in Maurice, Daniel; Leivant, Raphaël, Logic and Computational Complexity, Lecture Notes in Computer Science, Springer-Verlag, pp. 195–209. 1995.
古川康一:[8],特別講演資料, 2014.

7. 参考書籍
-------

『プログラムの理論 コンピュータ・サイエンス研究所シリーズ』 Zohar Manna 著/ 五十嵐滋 訳、1975年、日本コンピュータ協会
『人工知能の基礎 知識の表現と理解』 Daniel G.Bobrow Allan Collins 共著 渕一博 石崎俊 板橋秀一 太田耕三 大谷木重夫 黒川利明 桜井彰人 佐藤泰介 島田俊夫 田中穂積 田村浩一郎 溝口文雄 元吉文雄 山口喜教 横井俊夫 横山昌一 訳、1978年、代科学社
『日常言語の論理学』 オールウド・アンデソン・ダール 著/公平珠躬 野家啓一 訳、1979年、産業図書、ISBN 4-7828-0011-8
『日本語の文法と論理』 坂井英寿、1979年、勁草書房
『人工知能 岩波講座 情報科学-22』 白井良明 辻井潤一 共著、1982年、岩波書店
『人工知能の原理 コンピュータ・サイエンス研究書シリーズ26』 Nils.j.Nilsson 著/白井良明 辻井潤一 佐藤泰介 訳、1983年、日本コンピュータ協会
『最適化 岩波講座 情報科学-19』 西川偉一 三宮信夫 茨木俊秀 共著、1982年、岩波書店
『言語工学 人工知能シリーズ2』 長尾真、1983年、昭晃堂、ISBN 4-7856-3042-6
『Prologプログラミング』 W.F.Clocksin C.S.Mellish 共著/中村克彦 訳、1983年、マイクロソフトウェア
『機械知能論 人工知能シリーズ1』 志村正道、1983年、昭晃堂、ISBN 4-7856-3043-4
『Prolog』 中島秀之、1983年、産業図書
『PROLOG入門 ソフトウェアライブラリI』 後藤滋樹、1984年、サイエンス社、ISBN 4-7819-0352-5
『Prolog入門』 太細孝 鈴木克彦 伊藤ひとみ 佐藤裕幸 共著、1984年、啓学出版、ISBN 4-7665-0146-2
『人工知能2 マグロウヒル　コンピュータシリーズ』 E.リッチ 著/廣田薫 富村勲 訳、1984年、マグロウヒル、ISBN 4-8950-1172-0
『知識表現とProlog/KR』 中島秀之、1985年、産業図書
『Prologプログラミング入門』 安部憲広、1985年、共立出版、ISBN 4-320-02237-8
『エキスパート・システム ソフトウェア サイエンス シリーズ』 フレデリック ヘイズーロス レナルドA.ウォーターマン 編 ダグラスB.レナート 著/中島秀之 白井英俊 田中卓史 中川裕志 鈴木浩之 松原仁 寺野隆雄 斎藤康巳 平賀譲 片桐恭弘 訳、1985年、産業図書、ISBN 4-7828-5002-6
『Prologとその応用2 プログラム作成支援　エディタ設計 自然言語設計 データベース』 溝口文雄 武田正之 畝見達夫 溝口理一郎 共著、1985年、 総研出版、ISBN 4-7952-6307-8
『人工知能の世界 コンピュータに関心あるすべての人のために』 田村隆一 柳原圭雄 唐沢博 共著、1985年、技術評論社、ISBN 4-87408-168-1
『日常言語の推論 認知科学選書2』 坂原茂、1985年、東京大学出版会、ISBN 4-13-013052-8
『PROLOGデータベース・システム』 D.リー 著/安部憲広 訳、1985年、近代科学社、ISBN 4-7649-0106-4
『Prologのソフトウェア作法 岩波コンピュータサイエンス』 黒川利明、1985年、岩波書店、ISBN 4-00-007681-7
『Prologと論理プログラミング』 中村克彦、1985年、オーム社、ISBN 978-4-275-07266-5
『新世代プログラミング』 井田哲雄 尾内理紀夫 黒川利明 竹内彰一 外山芳人 渕一博 共著 、1986年、共立出版、ISBN 4-320-02259-9
『micro-PROLOGプログラム　コレクション 人工知能のための』 山田眞市一、1986年、サイエンス社、ISBN 4-7819-0435-1
『知識ベース入門』 石塚満 上野春樹 大須賀節雄 奥野博 小山照夫 白井良明 辻井恭一 速水悟 共著 、1986年、オーム社、ISBN 4-274-07287-8
『知識の学習メカニズム 知識情報処理シリーズ2』 国藤進 有川節夫 篠原武 北上始 原口誠 武脇敏晃 堀浩一 共著 、1986年、共立出版、ISBN 4-320-02262-9
『知識指向言語Prolog 人工知能プログラミングへの序曲』 小谷善行、1986年、技術評論社、ISBN 4-87408-827-9
『協調型計算システム --分散型ソフトウェアの技法と道具立て--』 R.E.フィルマン D.P.フリードマン 共著/雨宮真人 尾内理紀夫 高橋直久、1986年、マグロウヒル、ISBN 4-89501-030-9
『BASICで学ぶPROLOGシステム 言語と構造理解のために』 市川新、1986年、啓学出版、ISBN 4-7665-0294-9
『Prolog-KABA入門 岩波コンピュータサイエンス』 柴山悦哉 桜川貴司 萩野達也 共著 、1986年、岩波書店、ISBN 4-00-007687-6
『Prolog入門』 古川康一、1986年、オーム社、ISBN 4-274-07308-4
『自然言語の基礎理論』 石川彰 松本裕治 向井国昭 安川秀樹 安食敏宏 共著、1986年、共立出版、ISBN 4-320-02264-5
『Prolog 人工知能用言語シリーズ 1』 新田克己・佐藤泰介 共著、1986年、昭晃堂、ISBN 978-4-7856-3601-2
『micro PROLOGはじめてのプログラミング』 ヒュー・ド・サラム 著/倉田和彦 山田和美 訳、1986年、啓学出版、ISBN 4-7665-0306-6
『知識情報処理 知識工学講座1』 大須賀節雄、1986年、オーム社、ISBN 4-274-07321-1
『知識工学 人工知能シリーズ10』 小林重信、1986年、昭晃堂、ISBN 4-7856-3068-X
『RUN/Prolog入門 データベースとしての活用と述語解説』 小島政行、1986年、アムコインターナショナル、ISBN 978-4-8705-0034-1
『エキスパート・システム入門』 安部憲広 滝寛和 共著 、1986年、共立出版、ISBN 4-320-02297-1
『エキスパートシステム --知識工学とその応用--』 上野晴樹、1986年、オーム社、ISBN 4-274-07318-1
『エキスパート・システム 基礎概念と実例』 J.L.アルティ M.J.クームス 共著/太原育夫 訳、1987年、啓学出版、ISBN 4-7665-0312-0
『知識の表現と利用 知識工学講座2』 上野春樹 小山照夫 岡本敏雄 松尾文雄 石塚満 共著 、1987年、オーム社、ISBN 4-274-07331-9
『RUN/PROLOG ばじめての人工知能言語』 斎藤孝、1987年、CBS出版、ISBN 4-8337-8511-0
『論理による問題の解法 ---Prolog入門 情報処理シリーズ8』 R.コワルスキ 著/浦昭二 山田眞市 菊池光昭 桑野龍夫 訳、1987年、培風館、ISBN 4-563-00788-9
『知識の獲得と学習 知識工学講座3』 大須賀節雄 佐伯胖 小橋康章 大槻説乎 北橋忠宏 田中譲 篠原武 宮原哲浩 原口誠 共著、1987年、オーム社、ISBN 4-274-07346-7
『Prologプログラミング入門 RUN/Prologを用いた』 鑰山徹、1987年、工学図書株式会社、ISBN 4-7692-0163-X
『人工知能コンピュータ 判断・推論のしくみ』 秋田輿一郎、1987年、電気書院、ISBN 4-485-57102-5
『Prologランニングブック RUN/Prolog演習プログラム 上』 横井与次郎、1987年、ラジオ技術社、ISBN 4-8443-0180-2
『Prologランニングブック RUN/Prolog演習プログラム 下』 横井与次郎、1987年、ラジオ技術社、ISBN 4-8443-0185-3
『AI入門』 矢田光治、1987年、オーム社、ISBN 4-274-07355-6
『はじめてのRUN/PROLOG』 成田佳応 谷田部賢一 共著 、1987年、ナツメ社、ISBN 4816307001
『論理プログラミングの基礎』 J.W.ロイド 著/佐藤雅彦 森下真一 訳、1987年、産業図書、ISBN 978-4-7625-5003-4
『プログラム変換 知識処理シリーズ7』 佐藤泰介 二木厚吉 玉木久夫 二村良彦 竹内彰一 安村通晃 吉田紀彦 共著、1987年、共立出版、ISBN 4-320-02267-X
『並列論理型言語GHCとその応用 知識情報処理シリーズ6』 竹内彰一 上田和紀 野田泰徳 松本裕治 杉本勉 田中二郎 太田由紀子 共著、1987年、 共立出版、ISBN 4-320-02266-1
『はじめてのProlog Prolog-KABAによる人工知能へのアプローチ』 舟本奨、1987年、ナツメ社、ISBN 4-8163-0712-5
『TURBO PROLOGトレーニングマニュアル』 小林鉾史、1987年、JICC出版局、ISBN 4-88063-335-6
『RUN/Prologとその応用』 杉原敏夫、1987年、工学図書株式会社、ISBN 4-7692-0176-1
『Prologプログラミング入門 RUN/Arity』 大原茂之、1988年、オーム社、ISBN 4-274-07401-3
『コンピュータ言語進化論 思考増幅装置を求める知的冒険の旅』 Howard Levine Howard Rheingold 共著 椋田直子 訳、1988年、アスキー出版局 、ISBN 4-87148-301-0
『[9]』 高野真、1998年、啓学出版、ISBN 4-7665-0110-1
『パソコンエキスパートシステム -低価格ツールによるエキスパートシステムの構築手順-』 OHM編集部編、1988年、オーム社、ISBN 4-274-07409-9
『述語論理と論理プログラミング』 有川節夫 原口誠 共著 、1988年、オーム社、ISBN 4-274-07386-6
『知識の帰納的推論 知識処理シリーズ3』 E.Y.Shapiro 著/有川節夫 訳、1988年、共立出版、ISBN 4-320-02263-7
『知識と推論 岩波講座 ソフトウェア科学-14』 長尾真、1988年、岩波書店、ISBN 4-00010-354-7
『記号処理プログラミング 岩波講座 ソフトウェア科学-8』 後藤滋樹、1988年、岩波書店、ISBN 4-00-010348-2
『Prologの技芸』 L.Sterling E.Shapiro 共著 松田利夫、1988年共立出版、ISBN 4-320-09710-6
『TURBO PROLOG入門』 Carl Townsent 著/倉谷直臣 酒見高広 訳、1988年、オーム社、ISBN 4-274-07449-8
『知識プログラミング 知識処理シリーズ8』 鈴木浩之 小野典彦 中島秀之 国藤進 石塚満 松田哲史 井下博史 有馬淳 佐藤健 房岡璋 高橋和子、 1988年、共立出版、ISBN 4-320-02268-8
『Prologプログラミング入門 体験学習ビジネスマンのための』 高橋三雄、1988年、オーム社、ISBN 4-274-07442-0
『エキスパートシステム 知識工学講座5』 上野晴樹 小山照夫 共著、1988年、オーム社、ISBN 4-274-07462-5
『並列Prologコンピュータ データフロー処理によるアプローチ』 マイケル・J・ワイズ 著/曽和将容 訳、1989年、啓学出版、ISBN 4-7665-0345-7
『コンピュータによる推論技法』 L.ウォス R.オーバーピーク E.ラスク J.ボイル 共著 川越恭二 久野茂 前田康行 光本圭子 訳、1989年、マグロウヒル、ISBN 4-89501-292-1
『TURBO Prolog プログラミング』 Information＆computing 玉井浩、1989年、サイエンス社、ISBN 978-4-7819-0539-6
『新しいプログラミングパラダイム』 相場亮 井田哲雄 大須賀昭彦 加藤和彦 柴山悦哉 田中二郎 富樫敦 横内寛文 横田一正 共著、1989年、共立出版、ISBN 4-320-02493-1
『制約論理プログラミング』 坂井公 佐藤洋裕 田中二郎 相場亮 川村十志夫 橋田浩一 丸山文宏 渡辺俊典 佐藤由美子 森文彦 戸沢義夫 昭尾雅之 森下真一 共著、1989年、共立出版、ISBN 4-320-02469-9
『自然言語解析の基礎』 田中穂積、1989年、産業図書、ISBN 4-7828-5127-8
『定性推論 知識処理シリーズ別巻1』 渕一博 溝口文雄 古川康一 安西祐一郎 田中博 西田豊明 本田一賀 開一夫 堂下修司 清水周作 大木優 元田浩 共著、1989年、共立出版、ISBN 4-320-02468-0
『人工知能』 志村正道、1989年、オーム社、ISBN 4-274-07506-0
『人事情報エキスパートシステム』 三重野博司、1989年、オーム社、ISBN 4-274-07521-4
『Prologプログラミング入門 KE養成講座』 黒川利明 田中直之 共著 1989年、オーム社、ISBN 4-274-12857-1
『データベースと知識ベース 新しい情報システムを目指して』 大須賀節雄、1989年、共立出版、ISBN 4-274-07520-6
『わかる:-Prolog』 塚本龍男、1989年、共立出版、ISBN 4-320-02337-4
『入門TURBO PROLOG』 ダン・シェーファー 著/北脇和夫 北脇庸子 訳、1989年、啓学出版、ISBN 4-7665-0990-0
『TURBO Prolog エキスパート・システム設計入門』 Carl Townsend 著/玄光男 佐々木正仁 訳、1989年、HBJ出版局、ISBN 4-8337-8030-5
『OA実務家の書いたエキスパート・システムの本』 三菱商事システム企画部OA技術チーム編 、1990年、日本能率協会、ISBN 4-8207-0664-0
『法律家のためのコンピュータ利用法 論理プログラミング入門』 加賀山茂、1990年、有斐閣、ISBN 4-641-07541-7
『Prologへの入門 PrologとAI』 I.Bratko 著/安部憲広 訳、1990年、近代科学社、ISBN 4-7649-0165-X
『パソコン言語による人工知能プログラミング PC-9800対応 Prolog/LISP/Smalltalk/C/FORTRAN/COBOL/BASIC』 舟本奨、1990年、ナツメ社、ISBN 4-8163-1035-5
『作品としてのプログラム』 黒川利明、1990年、岩波書店、ISBN 4-00-005403-1
『自然言語理解と論理プログラミング』 Y.Dahi P.Saint-Dizier 共著/西田豊明 松本裕治 上原邦昭 訳、1990年、近代科学社、ISBN 4-7649-0163-3
『Prologで作る数学の世界 Prologそして集合-位相-群』 飯高茂、1990年、朝倉書店、ISBN 4-254-11054-5
『Prolog詳説 対話形式によるアプローチ』 ラマンチャンドウン・バラス 著/斉藤重光 舟本奨 訳、1990年、啓学出版、ISBN 4-7665-1078-X
『Prologユーティリティライブラリ』 ボグダン・フィリビッチ 著/中原誠 伊藤哲郎 訳、1990年、海文堂出版、ISBN 4-303-71700-2
『SF的Prologの世界 コンピュータウイルス盛衰記』 福田敏宏 田村三郎 田中正彦 共著、1990年、現代数学社、ISBN 4-7687-0195-7
『Prologによる論理プログラミング入門』 小川束、1990年、啓学出版、ISBN 4-7665-1081-X
『人工知能における知識ベースシステム』 ランドール・デービス ダグラス・B・レナート共著/溝口文雄 諏訪基 実近憲昭 平井成興 仁木和久 豊田順一 上原邦昭 河合和久 山口高平 溝口理一郎 訳、1991年、啓学出版、ISBN 4-7665-1100-X
『情報の論理数学入門 ブール代数から述語論理まで』 小倉久和 高濱徹行 共著、1991年、近代科学社、ISBN 4-7649-0180-3
『自然言語処理入門 情報・電子入門シリーズ』 岡田直之、1991年、共立出版、ISBN 4-320-02434-6
『エキスパートシステム MARUZEN Advanced Technology 電子・情報・通信編』 石塚満 小林重信 薦田憲久 竹垣盛一 寺野隆雄 山崎知彦 共著 丸善株式会社、1991年、ISBN 4-621-03622-X
『人工知能概論』 荒屋真二、共立出版、1991年、ISBN 4-320-02605-5
『Prologの冒険 アドベンチャーゲームを作りながらPrologをマスターしよう』 Dennis Merritt 著/岩谷宏 訳、1992年、ソフトバンク、ISBN 4-89052-344-8
『Prologマシン』 金田悠紀夫、1992年、森北出版、ISBN 4-627-80810-0
『Prolog入門 図解コンピュータシリーズ』 江村潤朗監修 瀬下孝之、1992年、オーム社、ISBN 4-274-07723-3
『楽しいプログラミングⅡ記号の世界』 中島秀之 上田和紀 共著、1992年、岩波書店、ISBN 4-00-007755-4
『Prologを楽しむ』 松田紀之、1993年、オーム社、ISBN 4-2740-7749-7
『Micro-PROLOG ロジックプログラミングによる問題解決』 K.L.クラーク F.G.マッケイブ 著/溝口文雄 大和田勇人 訳、1993年、啓学出版、ISBN 4-76651-165-4
『人工知能最前線 財務エキスパートシステム』 D.E.オゥレアリ P.R.ワトキンス 共著 佐伯光彌 光村司 西ヶ谷邦正 斎藤孝一 三藤利雄 訳、1993年、学友社、ISBN 4-7620-0483-9
『Prologを楽しむ』 松田紀之、1993年、オーム社、ISBN 4-274-07749-7
『情報学概論 Prologプログラミング』 吉田要、1993年、八千代出版、ISBN 4-8429-0874-2
エキスパートシステムII 技術の動向 朝倉AIらいぶらり 溝口理一郎、1993年、朝倉書店、ISBN 4-254-12623-9
『意思決定支援システムとエキスパートシステム シリーズ・経営情報システム』 飯島淳一、1993年、日科技連出版社、ISBN 4-8171-6162-0
『自然言語 情報数学セミナー』 郡司隆男、1994年、日本評論社、ISBN 4-535-60811-3
『Prolog入門. 例題演習』 塩野充、1995年、オーム社、ISBN 4-274-07642-3
『Prologを学ぶ 文化とその実践』 杉崎昭生、1995年、海文堂、ISBN 4-303-71690-1
『知識処理論 知識・情報メディアシリーズ』 萩野達也、1995年、産業図書、ISBN 4-7828-5302-5
『スケジューリングとシミュレーション』 田中克己 石井信明 共著、1995年、コロナ社、ISBN 4-339-08357-7
『形式言語と有限オートマトン入門 例題を中心とした情報の離散数学』 小倉久和、1996年、コロナ社、ISBN 4-339-02339-6
『AIプログラミング PrologとAI I.Bratko 著/安部憲広 訳、1996年、近代科学社、ISBN 4-7649-0254-0
『エージェントアプローチ 人工知能』 スチュワート・ラッセル ピーター・ノーヴィグ 共著/古川康一 訳、1997年、共立出版、ISBN 4-320-02878-3
『関数プログラミング 情報数学セミナー』 萩谷昌己、1998年、日本評論社、ISBN 4-535-60817-2
『自然言語・意味論・論理』 赤間世紀、1998年、共立出版、ISBN 4-320-02908-9
『形式言語の理論 情報科学コアカリキュラム講座』 西野哲朗 石坂裕毅 共著、1999年、丸善株式会社、ISBN 4-621-04626-8
『人工知能の基礎 情報科学コアカリキュラム講座』 西田豊明、1999年、丸善株式会社、ISBN 4-621-04646-2
『新しい人工知能 発展編』 前田隆 青木文夫 共著、2000年、オーム社、ISBN 4-274-13198-X
『計算論理に基づく 推論ソフトウェア論』 山崎進、2000年、コロナ社、ISBN 4-339-02373-6
『知的エージェントのための集合と論理 インターネット時代の数学シリーズ6』 中島秀之、2000年、共立出版、ISBN 4-320-01645-9
『人工知能の基礎理論』 赤間世紀、2000年、電気書院、ISBN 4-485-66246-2
『Interlog コンピュータ言語』 吉川永一、2002年、東京図書出版会、ISBN 4-434-03554-1
『帰納論理プログラミング Inductive Logic Programming』 古川康一 尾崎知伸 植野研 共著 、2001年、共立出版、ISBN 4-320-12014-0
『知識と推論 Information Science & Engineering-T1』 新田克己、2002年、サイエンス社、ISBN 4-7819-1008-4
『法律人工知能 法的知識の解明と法的推論の実現』 吉野一、2002年、創成社、ISBN 4-7944-4030-8
『人工知能 IT Text』 本井田真一 松本一教 宮原哲浩 永井保夫、2005年、オーム社、ISBN 4-274-20106-6
『組み込みソフトウェアの設計＆検証 組込み動作からRTOSを使った，ツールによる動作検証まで』 藤倉俊幸、2006年、CQ出版社、ISBN 978-4-7898-3344-8
『言語・知識・信念の論理 知の科学』 東条敏 人工知能学会 共著、2006年、オーム社、ISBN 4-274-20211-9
『論理と計算のしくみ』 萩谷昌己 西崎真也 共著 、2007年、岩波書店、ISBN 978-4-00-006191-9
『コンピュータプログラミングの概念・技法・モデル Concepts Techniques and Modelsof Computer Programming』 ピーター・ヴァン・ロイ セイフ・ハリディ 共著 羽永洋 訳、2007年、翔泳社、ISBN 978-4-7981-1346-3
『On Lisp』 Paul Graham 著/野田開 訳、2008年、オーム社、ISBN 978-4-274-06637-5
『数理論理学 コンピュータサイエンス教科書シリーズ 18』 古川康一 向井国昭 共著、2008ねん、コロナ社、ISBN 978-4-339-02718-1
『新 人工知能の基礎知識』 太原育夫著、2008年、近代科学社、ISBN 978-4-7649-0356-2
『Prologで学ぶAIプログラミング I/OBOOKS』 赤間世紀、2008年、工学社、ISBN 978-4-7775-1402-1
『メディア情報学入門』 鈴木昇一、2010年、東京図書出版会、ISBN 4862234062
『実用 Common Lisp 』 ピーター・ノーヴィッグ著/松本宣男 訳、2010年、翔泳社、ISBN 978-4798118901
『7つの言語 7つの世界 Ruby lo Prolog Scala Erlang Clojure and Haskell』 Bruce A. Tate 著/まつもとゆきひろ監訳 田和数 訳、2011年、オーム社 ISBN 978-4-274-06857-7
『入門 自然言語処理』 Steven Bird Ewan Klein Edward Loper 共著/萩原正人 中山敬広 水野貴明 訳、2010年、オーム社、ISBN 978-4-87311-470-5
『アルゴリズム設計マニュアル上』 S.S スキーナ 著/平田富夫 訳、2012年、丸善、ISBN 978-4-621-08510-3
『知識基盤社会のための人工知能入門 計測・制御テクノロジーシリーズ 16』 国藤進 中田豊久 羽山徹彩 共著 2012年、コロナ社、ISBN 978-4-339-03366-3
『プログラミング言語温故知新―人工言語の継承を学ぶ』 土屋勝、2014年、カットシステム、ISBN 978-4-87783-328-2
『イラストで学ぶ 人工知能概論』 谷口忠大、2014年、オーム社、ISBN 978-406-1538238
『数理論理学-合理的エージェントへの応用に向けて』 加藤暢,高田司郎,新出尚之 共著、2014年、コロナ社、ISBN 978-4-339-02489-0
『知能の物語』 中島秀之著、2015年、公立はこだて未来大学出版会発行 近代科学社発売、ISBN 978-4-7649-5552-3

8. 関連項目
-------

論理プログラミング
制約論理プログラミング
並行論理プログラミング
並行制約プログラミング
命題論理
述語論理
ホーン節
導出原理
ユニフィケーション
失敗による否定
Planner
第五世代コンピュータ