On Implementing Prolog in Functional Programming

Mats Carlsson. On Implementing Prolog in Functional Programming. New Generation Comput., 2(4):347-359, 1984.

Abstract

Abstract is missing.