"1983-1993.The wonder years of sequential Prolog implementation" - читать интересную книгу автора (Van Roy P.)