Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment

Patrizia Coscia, Paola Franceschi, Giorgio Levi, Giuseppe Sardu, Luigia Torre. Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment. In ICLP/SLP. pages 359-373, 1988.

Abstract

Abstract is missing.