インクリメンタルPROLOGコンパイラの設計と実現

情報処理学会

書誌事項

タイトル別名
  • The Design and Implementation of an Incremental PROLOG Compiler
  • プログラム言語と処理系

この論文をさがす

抄録

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

収録刊行物

キーワード

詳細情報 詳細情報について

  • CRID
    1050845762819292160
  • NII論文ID
    110002764577
  • NII書誌ID
    AN00116647
  • ISSN
    18827764
  • Web Site
    http://id.nii.ac.jp/1001/00015264/
  • 本文言語コード
    ja
  • 資料種別
    journal article
  • データソース種別
    • IRDB
    • CiNii Articles

問題の指摘

ページトップへ