В последнее время задумываюсь о том, что ООП очень напоминает логическое программирование, по сути.
К примеру, где то недавно видел, как мальчик на каком то логическом языке бился над задачей реализации предиката «земляки», который идентифицирует персон из одинаковых городов. Понятно же, что для ООП это задача более чем тривиальная, а у него это даже вызвало трудности. Прада там не пролог был, может язык слабей, но не суть.
Действительно, я фофан решал на Io некоторые задачи логического программирования as is, встроенными средствами языка, не прибегая даже ни к какому расширению.
Что общего? Самое главное: мы что то декларируем, потом на основании этой декларации что-то вычисляем. Определенно это общая и самая существенная черта.
А вот в чем, на ваш взгляд принципиальное отличие, если оно есть?
Перемещено tailgunner из development