CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

CEC: Conditional Equational Completion

CEC is a rewrite rule laboratory for order-sorted specifications with conditional equations. The major module of CEC is a powerful completion procedure for conditional equations.
Version: 1.9 (16-SEP-91) Requires: Quintus Prolog Copying: Copyright (C) 1989 by Hubert Bertling, Harald Ganzinger, and Renate Schaefers, University of Dortmund CD-ROM: Prime Time Freeware for AI, Issue 1-1 Author(s): Hubert Bertling, Harald Ganzinger, Renate Sch\"afers Keywords: Authors!Bertling, Authors!Ganzinger, Authors!Schaefers, CEC, KL-ONE, Knowledge Representation, Prolog!Code, Term Rewriting, Univ. of Dortmund References: ?
Last Web update on Mon Feb 13 10:24:01 1995