CMU Artificial Intelligence Repository
HO_UNIF: Higher Order E-Unification
lang/prolog/impl/other/ho_unif/
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.
Origin:
ftp.fzi.de:pub/korso/ho-unification/
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
AI.Repository@cs.cmu.edu