Logic Machine Architecture Inference Mechanisms: Layer 2 User Reference Manual Release 2.0
Ewing L. Lusk, Ross Overbeek · CERN Document Server (European Organization for Nuclear Research) · 1984
Logic Machine Architecture (LMA) is a package of software tools for the construction of inference-based systems. This document is the reference manual for layer 2 of LMA. It contains the information necessary to write LMA-based systems at the level of layer 3. Such systems include theorem provers, reasoning components for expert systems, and customized deduction components for a variety of application systems.