Prologのデータベース操作述語の最適化について

• Item type: SIG Technical Reports(1)
• 公開日: 1992-01-16
• タイトル: Prologのデータベース操作述語の最適化について
• タイトル / 言語: en
• タイトル: Optimization for clause database operation of Prolog
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 東京農工大学工学部電子情報工学科コンピュータサイエンスコース
• 著者所属: 東京農工大学工学部電子情報工学科コンピュータサイエンスコース
• 著者所属: 東京農工大学工学部電子情報工学科コンピュータサイエンスコース
• 著者所属(英): en
• 著者所属(英): Department of Computer Science Tokyo University of Agriculture and Technology
• 著者所属(英): en
• 著者所属(英): Department of Computer Science Tokyo University of Agriculture and Technology
• 著者所属(英): en
• 著者所属(英): Department of Computer Science Tokyo University of Agriculture and Technology
• 著者名: 矢野, 稔裕; 瀧口, 伸雄; 小谷, 善行
• 著者名(英): Toshihiro, Yano; Nobuo, Takiguchi; Yoshiyuki, Kotani
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: Prologのデータベース述語などは、そのプログラム中での利用形態がわかれば、非常に効率的なプログラムコードを生成できるはずである。我々はその利用形態を、コンパイラに対して、「宣言構文」を記述することによって行う、という方式をとる。宣言構文はProlog言語に追加され、それを解釈することで処理系は、最適化に利用できる新たな情報をプログラマから受け取ることが可能になる。ここでは第一に、述語の扱われ方を分類する。第二に宣言すべき対象を決定し、宣言構文を設計する。第三にその情報を元にして新しく可能になる最適化技法を検討する。具体的には、動的述語とその操作に対する最適化が新たに可能になる。それらの最適化技法はWAM命令セットの拡張として設計される。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: It may be possible to generate very efficient compiled codes from Prolog database predicates, If the compiler knows the usage of the predicates. We employ a method of Prolog program optimization by giving "declaration syntax" for describing the usage. It is added in Prolog syntax, and enables compilers to receive additional information for optimization, by interpreting the syntax. Here, first we classify how predicates are dealt with, second, we design the declaration syntax by determining what should be declared. Anal finally we discuss newly enabled optimization techniques by the information. Dynamic predicates and operations on them can be optimized newly. The optimization techniques are designed as an extension for WAM instruction set.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11135936
• 書誌情報: 情報処理学会研究報告知能と複雑系（ICS）; 巻 1992, 号 3(1991-ICS-080), p. 1-8, 発行日 1992-01-16
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会