A theory of first-order built-in's Prolog - Apt, Krzysztof R. 1949-; Marchiori, Elena; Palamidessi, Catuscia (1992)