Здравствуйте, Erop, Вы писали:
E>Здравствуйте, alexeiz, Вы писали:
E>А вообще интересно, почему тебе кажется, что скорее LISP, а не Prolog? 
Именно на LISP, т.к. Александреску сам об этом явно упоминает в книге

Перед тем как представить макросы для списков типов