Well, but the fact that standard Prolog's unification does not terminate
always depends only from the fact that it relaxes the occur check.
Furthermore I am not so convinced that Prolog's unification is more
efficient than a properly implemented Martelli-Montanari (which, again is
a quasi-linear algorithm) or Paterson-Wegman algorithm.
Enrico
-------------------------------------------------------------------------
Enrico Pontelli New Mexico State University
Dept. of Computer Science
Las Cruces, NM 88003
e-mail: epontell@nmsu.edu
enrico@getafix.cineca.it
|