"Use of Prolog for developing a new programming language" - читать интересную книгу автора (Armstrong J.L.)