Algebraic Meta-Level Programming in Prolog

Georges Louis, Marc Vauclair. Algebraic Meta-Level Programming in Prolog. In FGCS. pages 555-564, 1988.

Abstract

Abstract is missing.