マルチパラダイム言語TAOにおける論理型プログラム処理系の実装

IPSJ Web Site 1 Citations 16 References

Bibliographic Information

Other Title
  • マルチパラダイム ゲンゴ TAO ニ オケル ロンリガタ プログラム ショリケイ ノ ジッソウ
  • Implementation of Logic Computation in a Multi-paradigm Language TAO
  • プログラミング言語と仕様記述

Search this article

Abstract

TAOは，関数型，論理型，オブジェクト指向のプログラミング機能を持つマルチパラダイム言語である．TAOの論理型計算は次の2つの特徴を持つ．パターンマッチとガードによって節を選択し，深いバックトラックは陽に呼び出す．関数と述語は互い呼び出すことができ，任意のデータを渡せる．本論文では，このような論理型計算機構を実装するための抽象マシンを提案する．この抽象マシンは，WAMをベースとしており，以下のような特徴を持つ．1)構造データをスタックでなくヒープ上に表現する．2)単一化やパターンマッチでは，レジスタを極力使用しない．3)プロセススイッチする可能性がある時点では，データを必ず無矛盾に保つ．また，他のProlog処理系と比較評価し，Lispとの融合によって性能が劣化しないことを示す．

TAO is a Lisp-based multi-paradigm programming language whichincorporates functional, logic and object-oriented programmingparadigms. This paper describes the implementation of logic computation in TAO, which is different from Prolog in thefollowing two points．A clause is selected according to pattern matching and guard testing,and deep backtracking is invoked explicitly.Functions and predicates can invoke each other and pass any type ofdata between them.We propose an abstract machine, based on WAM (Warren's abstract machine), which has the following features.1) Structured data are represented in heap memory instead of stack.2) Almost no extra registers are used at unification and pattern maching.3) Memory configuration is consistent at any potential process-switching point.We also evaluated our implementation comparing with other Prologprocessors, and showed that the paradigm fusion does not degrade theperformance.

Journal

Citations (1)*help

See more

References(16)*help

See more

Keywords

Details 詳細情報について

Report a problem

Back to top