マルチパラダイム言語TAOにおける論理型プログラム処理系の実装 Implementation of Logic Computation in a Multi-paradigm Language TAO

この論文にアクセスする

この論文をさがす

著者

抄録

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.

TAO is a Lisp-based multi-paradigm programming language which incorporates functional, logic and object-oriented programming paradigms. This paper describes the implementation of logic computation in TAO, which is different from Prolog in the following 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 of data 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 Prolog processors, and showed that the paradigm fusion does not degrade the performance.

収録刊行物

  • 情報処理学会論文誌

    情報処理学会論文誌 41(1), 136-147, 2000-01-15

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

参考文献:  17件中 1-17件 を表示

被引用文献:  1件中 1-1件 を表示

各種コード

  • NII論文ID(NAID)
    110002725408
  • NII書誌ID(NCID)
    AN00116647
  • 本文言語コード
    JPN
  • 資料種別
    Journal Article
  • ISSN
    1882-7764
  • NDL 記事登録ID
    4958413
  • NDL 雑誌分類
    ZM13(科学技術--科学技術一般--データ処理・計算機)
  • NDL 請求記号
    Z14-741
  • データ提供元
    CJP書誌  CJP引用  NDL  NII-ELS  IPSJ 
ページトップへ