A Declarative Approach for First-Order Built-in s of Prolog

Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi. A Declarative Approach for First-Order Built-in s of Prolog. Appl. Algebra Eng. Commun. Comput., 5:159-191, 1994.

Abstract

Abstract is missing.