[Date Prev] [Date Next] [Thread Prev] [Thread Next] Date Index Thread Index Search archive:
Date:Mon Mar 12 21:38:29 1993 
Subject:Re: **** looking for implementation of unification algorithm **** 
From:David Whitten 
Volume-ID:930313.01 

mathias@ira.uka.de (Adolf Mathias) writes:
>We are looking for an implementation (possibly efficient) of the 
>Martinelli-Montanari unification algorithm in C or C++. Any help would be
>greatly appreciated.
>
>Thanks in advance, 
>  Dolfi
 
I'm just curious, but is there a difference between the Martinelli and
Montanari unification algorithm and the unification algorithm seen
in Prolog?
 
Dave (whitten@fwva.saic.com) US:(619)535-7764 [I don't speak as a company rep.]