Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!decvax!harpo!floyd!clyde!ihnp4!houxm!mhuxi!mhuxl!ulysses!unc!bts
From: bts@unc.UUCP (Bruce Smith)
Newsgroups: net.ai
Subject: Unification Query
Message-ID: <6030@unc.UUCP>
Date: Wed, 19-Oct-83 01:23:46 EDT
Article-I.D.: unc.6030
Posted: Wed Oct 19 01:23:46 1983
Date-Received: Thu, 20-Oct-83 06:50:31 EDT
Lines: 38


     I'm interested in anything new on unification algo-
rithms.  In case some readers don't know what I'm talking
about, I'll give a short description of the problem and some
references I know of.  Experts-- the ones I'm really
interested in reaching-- may skip to the last paragraph.

     Given a set of terms (in some language) containing
variables, the unification problem is to find a 'unifier',
that is, a substitution for the variables in those terms
which would make the terms equal.  Moreover, the unifier
should be a 'most general unifier', that is, any other unif-
iers should be extensions of it.  Resolution theorem-provers
and logic programming languages like Prolog depend on
unification-- though the Prolog implementations I'm familiar
with "cheat". (See Clocksin and Mellish's "Programming in
Prolog", p. 219.)

     Unification seems to be a very active topic.  The paper
"A short survey on the state of the art in matching and
unification problems", by Raulefs, Siekmann, Szabo and
Unvericht, in the May 1979 issue of the SIGSAM Bulletin,
contains a bibliography of over 90 articles.  And, "An effi-
cient unification algorithm", by Martelli and Montanari, in
the April 1982 ACM Transactions on Programming Languages and
Systems, gives a (very readable) discussion of the effi-
ciency of various unification algorithms.  A programming
language has even been based on unification: "Uniform-- A
language based on unification which unifies (much of) Lisp,
Prolog and Act1" by Kahn in IJCAI-81.

     So, does anyone out there in network-land have a unifi-
cation bibliography more recent that 1979?  If it's on-line,
would you please post it to USENET's net.ai?  If not, where
can we get a copy?

     Bruce Smith, UNC-Chapel Hill
     decvax!duke!unc!bts   (USENET)
     bts.unc@udel-relay (other NETworks)