[Date Prev] [Date Next] [Thread Prev] [Thread Next] Date Index Thread Index Search archive:
Date:Mon Apr 5 20:24:46 1993 
Subject:Re: **** looking for implementation of unification algorithm **** 
From:PONTELLI 
Volume-ID:930405.02 

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