Krzysztof R. Apt Elena Marchiori Catuscia Palamidessi A Declarative Approach for First-Order Built-in's of Prolog. 159-191 1994 5 Appl. Algebra Eng. Commun. Comput. db/journals/aaecc/aaecc5.html#AptMP94