"Using Prolog as metalanguage for teaching programming language concepts" - читать интересную книгу автора (Christiansen H.)