PROGRAMMIROVANIJE NA JAZYKE PROLOG - Clocksin, William F. (Mir, 1987)