論理プログラミング機能を埋め込んだ手続き型言語c.

スポンサーリンク

概要

論文の詳細を見る
論理型プログラミング言語であるPrologは、手続き型にはない特徴を数多くもつ。例えば、(1)ユニフィケーション処理、(2)非決定性処理、(3)プログラムの動的な操作、などである。このうち1と2の機能を手続き型言語であるC言語にもち込み、論理的プログラミングの手法を利用可能とする試みを行った。複数の言語で記述されたプログラムを結合することは、すでに行われていることである。しかし、別々のパラダイムが融合された単一の言語を使うことによって、統一されたプログラミング環境を得ることができる。2つの異なるパラダイムに基づく言語を融合しようとするとき、どちらを基礎とするかで生み出されたものの性格が異なってくる。言語c.は、C言語をもとにしてPrologの機能を埋め込んだことでPrologの持つ対話性、安全性などは失われたが、システム記述言語としての性格の強い論理プログラミング可能な言語となった。
一般社団法人情報処理学会の論文
1990-03-14

著者

関連論文

もっと見る

スポンサーリンク