CLOCKSIN, W.F. - MELLISH, C.S. Programmirovanije na jazyke Prolog. [Z angl. prel.] A.V. Gorbunov, M.M. Komarov. 1. izd. Moskva : Mir, 1987. 336 s. Matematičeskoje obespečenije EVM. [Počet ex. : 1, z toho voľných 1, prezenčne 0]