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