論理プログラミング機能を埋め込んだ手続き型言語“c.”の言語仕様と実現方式

• Item type: SIG Technical Reports(1)
• 公開日: 1990-06-04
• タイトル: 論理プログラミング機能を埋め込んだ手続き型言語“c.”の言語仕様と実現方式
• タイトル / 言語: en
• タイトル: c. : A Procedural Language with Logic Programming Feature and Its Specifications and Implementation
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 東京農工大学工学部電子情報工学科
• 著者所属: 東京農工大学工学部電子情報工学科
• 著者所属(英): en
• 著者所属(英): Department of Electronic and Information Science Tokyo University of Agriculture and Technology
• 著者所属(英): en
• 著者所属(英): Department of Electronic and Information Science Tokyo University of Agriculture and Technology
• 著者名: 矢野, 稔裕; 小谷, 善行
• 著者名(英): Toshihiro, Yano; Yoshiyuki, Kotani
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: われわれは論理プログラミング機能を埋め込んだ手続き型言語c．を設計した。これは、C言語の機能を損なうことなく、リスト処理や非決定性実行処理の記述能力を向上させた拡張C言語である。本稿では、その言語仕様と実現方式についてのべている。論理プログラミングの機能を手続き型言語で利用するための一つの手法を具体的に示している。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: A procedural programming language called "c." is designed, which has logical programming feature in its specifications. It is an extended c language that grows up describability of list processing and non-deterministic control processing. We show its language specifications and the method of implementation. This is also a practical example of how to deal with logical programming paradigm in procedural languages.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1990, 号 48(1990-PRO-055), p. 1-8, 発行日 1990-06-04
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会