Towards Synthesis of Nearly Pure Prolog Programs (Extende Abstract)

Lubos PopelĂ­nsky. Towards Synthesis of Nearly Pure Prolog Programs (Extende Abstract). In LOPSTR. pages 94-96, 1991.

Abstract

Abstract is missing.