CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

HO_UNIF: Higher Order E-Unification

This directory contains an experimental implementation of of higher order E-Unification developed at the FZI, Karlsruhe. It implements the modular higher order E-Unification of Nipkow, Qian and Wang with optimizations described in Franz Weber's PhD thesis.
   as the file implementation.tar.Z

Version: 26-AUG-93 Ports: Runs in Lucid Lisp 2.1.3 for Sun4. Copying: Copyright (c) 1993 by Forschungszentrum Informatik CD-ROM: Prime Time Freeware for AI, Issue 1-1 Contact: Franz Weber Forschungszentrum Informatik Haid-und-Neu-Str 10-14 76131 Karlsruhe Germany Keywords: Authors!Weber, Higher Order E-Unification, Lisp!Code, Programming Languages!Logic, Prolog!Implementations References: Two German theses are included in the distribution: Franz Weber Softwareentwicklung mit Logik hoeherer Stufe Dissertation Olaf Mueller Optimierung der moduaren E-Unifikation hoeherer Stufe Diplomarbeit
Last Web update on Mon Feb 13 10:34:42 1995