Prolog
KL0 を基礎として、オペレーティングシステム SIMPOS が設計され、これを記述するために、Prolog にオブジェクト指向プログラミングを取り入れた ESPが近山隆により設計されて使われた。ESPは多重継承を特徴とする当時としては先鋭のオブジェクト指向言語であったが、後にカプセル化の不備などが指摘されて、今日あまり話題となることはない。しかし、OSを記述するという課題を通じて、論理型言語にオブジェクト指向言語的要素を加えることによって、可読性が高まりプログラム管理がしやすくなることが確認された。その反面、Prolog のみでオペレーティングシステムを完全に記述してみる絶好の機会を逸したことも確かである。ESPはPSIを前提にせずに利用できるように、C言語で書き直したCESPが開発されたが、これが普及への起爆剤になることはなかった。後に述べるように、PrologのISO標準規格のモジュール仕様としてESPの採用が否決された1995-6年頃以降はほとんど利用されることはなくなった。
ここまで述べたように、Prologは ICOT によって持ち上げられた言語 Prolog との印象が強いが、Prolog というプログラミング言語から見ての ICOT の影響は実は限定的だった。淵所長ら ICOT の主研究テーマは並列論理型言語にあり、研究後半では Prolog そのものからは離れて行くことになる。
『知識の表現と利用 知識工学講座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.