Translation of Logic Programs into Functional Fixpoint Equations

Georges Gardarin, Irène Guessarian, Christophe de Maindreville. Translation of Logic Programs into Functional Fixpoint Equations. Theoretical Computer Science, 63(3):253-274, 1989.

Abstract

Abstract is missing.