著者

浜名誠 西岡 知之 中原 鉱一 井田 哲雄

出版者

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

雑誌

情報処理学会研究会報告

巻号頁・発行日

vol.94, pp.25-32, 1994

被引用文献数

1

---

関数論理型言語とは関数型言語と論理型言語を融合したプログラミング言語である.本稿で述べる関数論理型言語Evは,関数型言語の特徴である高階関数,遅延評価,及び論理型言語の論理変数や非決定的な実行といった特徴を全て備えている.Evはコンビナトリー項書換え系とナローイングという理論的背景を特ち,効率の良い実行のために設計された計算系LNCに基づいている.本稿では関数論理型言語Evとそのインタプリタの実現方法について述べる.特にEvのプログラムをコンビナトリー項書換え系とみなすための変換方法を与え,Evと理論とのつながりを示す.