WEKO3
アイテム
実行機構の類似性に着目した関数型言語と論理型言語の融合
https://ipsj.ixsq.nii.ac.jp/records/12627
https://ipsj.ixsq.nii.ac.jp/records/126271ded4013-2422-41e0-8133-7f7139a4437f
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL4006024.pdf (1.6 MB)
|
Copyright (c) 1999 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Journal(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1999-06-15 | |||||||
| タイトル | ||||||||
| タイトル | 実行機構の類似性に着目した関数型言語と論理型言語の融合 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Amalgamation of Functional and Logic Programming Languages Based on Similarities in Execution Mechanisms | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 論文 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| その他タイトル | ||||||||
| その他のタイトル | プログラミング言語 | |||||||
| 著者所属 | ||||||||
| NTT未来ねっと研究所 | ||||||||
| 著者所属 | ||||||||
| NTTサイバースペース研究所 | ||||||||
| 著者所属 | ||||||||
| NTT未来ねっと研究所 | ||||||||
| 著者所属 | ||||||||
| 電気通信大学 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| NTT Network Innovation Laboratories | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| NTT Cyber Space Laboratories | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| NTT Network Innovation Laboratories | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| The University of Electro - Communications | ||||||||
| 著者名 |
山崎, 憲一
× 山崎, 憲一
|
|||||||
| 著者名(英) |
Kenichi, Yamazaki
× Kenichi, Yamazaki
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本論文では Lispをべースとして論理型プログラミングを融合したマルチパラダイム言語TAOについて述べる. これまで研究されたきた融合型言語においては 純粋な関数型言語と論理型言語を融合するものが多かったが TAOではすべてのLispプリミティブと論理型プログラミングを利用できる. TAOでは Lispと論理型言語の実行機構の類似性に着目した融合を行う. ここで 実行機構の類似性とは 状態変数と論埋変数 関数呼び出しと述語呼び出し 大域的脱出とバックトラックなどを指す. たとえば catch/throwのような脱出とバックトラックには類似性があり バックトラックを大域脱出の一種と考えることができる. これにより バックトラックが Lispの大域脱出に関するさまざまなプリミティブを自然に利用できるようになる. | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 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. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116647 | |||||||
| 書誌情報 |
情報処理学会論文誌 巻 40, 号 6, p. 2743-2754, 発行日 1999-06-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7764 | |||||||
