著者

硴崎賢一 上原 邦昭 豊田 順一

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.30, no.3, pp.347-356, 1989-03-15

---

本論文では 研究開発や実用的なシステムの構築に適した 高速で利用しやすいPROLOG処理系の実現方式とその評価について述べる.開発した処理系では インタプリタによって実行される述語とコンパイルされ機械語によって直接実行される述語を混在して実行することができる.また 処理系が稼動している状態で プログラムのコンパイルとリンクを述語単位で順次行うことができるインクリメンタル・コンパイル機能を実現している.これらの機能は 述語間の相互呼び出しを管理するディスパッチャと呼ぶ機構によって実現されている.さらに DEC-10 PROLOGなどで問題となっていた コンパイラとインタプリタの単一化のセマンティックスの相異を解消することができる仮想PROLOGマシンの命令セットを提案している.この命令セットは 従来の最適化方式のほかにリスト処理に対する最適化方式を導入しており 高速なコンパイルドコードを生成できるという特徴を持っている.コンパイルドコードは この命令セットを中間コードとして利用し 最適化を施した後にターゲットマシンの機械語に変換して生成している.本処理系はUNIXワークステーション上に実現されており 同じデータ表現法である構造共有法を採用したPROLOGマシン比較して 約2.5倍の85K LIPSの性能が得られている.