Большинство программистов живут в уютном мире процедурного, объектно-ориентированного или функционального программирования. А если спросить их про логическое программирование, обычно слышишь в ответ: «Prolog? Что-то слышал на лекциях, но не пользовался». И зря! Ведь логическое программирование решает одну весьма болезненную проблему — моделирование сложных отношений между объектами. Допустим, вы моделируете генеалогическое древо. Если использовать объекты и связи, получится громоздкий граф с двунаправленными указателями, сложными производными атрибутами и кучей кэша...