Чем отличается логическое программирование от ООП? - Prolog

Формулировка задачи:

Прошу прощения за дилетантский вопрос, я не знаком с логическим программированием, только лишь присматриваюсь к нему, поэтому, то что я напишу тут, возможно является глупостью. Но, тем не менее. Вот, допустим, я задекларировал тип "Человек" от него унаследовал "Мужчина" и "Женщина", затем от "Женщина" унаследовал "Лена". Теперь я могу написать следующие декларации: Лена представитель типа человек? интерпретатор вычислит в истину, Лена представитель типа "Мужчина" -- вычислится в ложь, Лена имеет такое то свойство? --> true or false, Лена цвет волос --> темный, Лена количество рук --> 2... И так далее. Чем это все, собственно говоря, отличается от логического программирования, с концептуальной точки зрения?

Код к задаче: «Чем отличается логическое программирование от ООП? - Prolog»

textual
?- человек(Person, Gender, волос(светл)).
Person = 'Ваня',
Gender = муж ;
Person = 'Маша',
Gender = жен.

8   голосов, оценка 3.750 из 5


СОХРАНИТЬ ССЫЛКУ