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

Patrizia Coscia, Paola Franceschi, Giorgio Levi, Giuseppe Sardu, Luigia Torre

Browse the full ICLP paper archive.