✦ LIBER ✦

Syntactic Unification as a Geometric Operation in Free Modules over certain Rings

✍ Scribed by R.N. Banerjee; A. Bujosa

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 243 KB
Volume: 66
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80512-7

No coin nor oath required. For personal study only.

✦ Synopsis

We have shown elsewhere how to introduce a concept of syntactic unification when terms are taken as the elements in a free module and established the link between both unification concepts showing that, under certain reasonable hypotheses, they are completely equivalent. Here we show how syntactic unification of terms may be viewed as the intersection of certain subsets in a free module, which strongly resemble affine varieties in vector spaces. Thus this work represents a first step in the way towards a purely geometric interpretation of logic programming.