実行機構の類似性に着目した関数型言語と論理型言語の融合

• 山崎, 憲一

• 吉田, 雅治

• 天海良治

• 竹内, 郁雄

Bibliographic Information

Other Title

• ジッコウ キコウ ノ ルイジセイ ニ チャクモク シタ カンスウガタ ゲンゴ ト ロンリガタ ゲンゴ ノ ユウゴウ
• Amalgamation of Functional and Logic Programming Languages Based on Similarities in Execution Mechanisms
• プログラミング言語

Abstract

本論文では Lispをべースとして論理型プログラミングを融合したマルチパラダイム言語TAOについて述べる. これまで研究されたきた融合型言語においては 純粋な関数型言語と論理型言語を融合するものが多かったが TAOではすべてのLispプリミティブと論理型プログラミングを利用できる. TAOでは Lispと論理型言語の実行機構の類似性に着目した融合を行う. ここで 実行機構の類似性とは 状態変数と論埋変数 関数呼び出しと述語呼び出し 大域的脱出とバックトラックなどを指す. たとえば catch/throwのような脱出とバックトラックには類似性があり バックトラックを大域脱出の一種と考えることができる. これにより バックトラックが Lispの大域脱出に関するさまざまなプリミティブを自然に利用できるようになる.

This paper describes a Lisp-based multi-paradigm programming language TAO that incorporates a logic programming (LP) paradigm. Whereas previous multi-paradigm languages only supported purely functional and LP facilities, TAO supports all Lisp primitives as well as LP facilities. This amalgamation of Lisp and LP is done by making use of the similarities in their execution mechanisms, giving a natural semantics to the amalgamation. The similarities include state vs. logic variables, function vs. predicate calling, and non-local exit vs. backtracking. For example, the similarity between non-local exit (catch/throw) and backtracking enables backtracking to be regarded as a kind of non-local exit, so that backtracking can use all Lisp facilities which support non-local exit.

Journal

• 情報処理学会論文誌

  情報処理学会論文誌 40 (6), 2743-2754, 1999-06-15

  東京 : 情報処理学会

Keywords

• 論文

Details

• CRID: 1050845762815516672
• NII Article ID: 110002725019
• NII Book ID: AN00116647
• ISSN: 18827764
• ISSN: 03875806
• NDL BIB ID: 4764278
• Web Site: http://id.nii.ac.jp/1001/00012627/
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I4764278
• Text Lang: ja
• Article Type: journal article
• Data Source:
  • IRDB
  • NDL
  • CiNii Articles