Был (есть?) такой язык программирования Пролог (ProLog).
Фишка его в том, что именно логические связи в нём были основным инструментом.
Там и объекты, и операнды соответствующие - наследник, потомок и т.д.
Меня, без пяти минут инженера, на одной лабораторной по этому Прологу, озадачили чё-нить изобразить, зачёт был.
Ну я и сбацал перевод обычного арифметического выражения (любого, с проверкой синтаксиса!) в обратную польскую запись.
Преподаватель обалдел, сказал - зачёт, конечно, но этот язык программирования не предназначен для решения таких задач.
Что поделаешь - "штамп", от него непросто избавиться и в в жизни, и в професии (я хорошо программировал тогда в разных средах, но - только алгоритмических).
Добавлю - дело было в 1993 году.
Это сообщение отредактировал Mихалычъ - 11.03.2016 - 20:38