ILFA - A Project in Experimental Logic Computation

ILFA provides programs and libraries of reusable software components for logic processing. "ILFA" stands for Inte- grated Logic Functions for Advanced Applications and has its roots in a research project between the german IBM in Heidelberg and the Universities of Duisburg and Paderborn. The implementation by the C programming language supports an efficient work with logic methods in different computer environments. ILFA contains a great number of logic algorithms divided in implementations for important subclasses of logic. Special attention has been considered to visual user interfaces for the ILFA library components, i.e. for using them, programming with them and providing on-line documentation. 1 Introduction According to the rising demand for knowledge--based systems, implementations of logic algorithms has gained growing importance in computer science. Examples are applications like deductive databases, natural language processing, test pattern generators for hardware verificat..