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.] |