著者

西崎 真也 樋口 貴志

出版者

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

雑誌

情報処理学会論文誌プログラミング(PRO) (ISSN:18827802)

巻号頁・発行日

vol.41, no.9, pp.103-103, 2000-11-15

---

本論文では,ファーストクラス環境の機構を用いて単一化機構を関数型言語へ組み込む方法を提唱する.単一化子は変数上の代入として表現されるが,これを変数の束縛する環境とを同一視することにより,単一化の機構を関数型言語へ自然に組み込むことが可能となる.In this paper, we propose a way of embedding of the unification mechanism into function languages through facility of first-class environments, where unificands are introduced as expressions and their evaluation is defined as the first-order unification.