"Logic, programming and Prolog (Errata)" - читать интересную книгу автора (Ulf Nilsson, Jan Mauszynski)