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

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

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

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

textual
                            Листинг программы 
                        

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