Логическое программирование: введение и реализация

Логическое программирование менее популярно, чем процедурное, объектно-ориентированное и функциональное программирование.

Программирование на основе логики идеально подходит для моделирования сложных отношений.

Основное различие между функцией и отношением заключается в отсутствии явного различия между входом и выходом в последнем.

Prolog – это известный язык логического программирования, в котором используются факты и правила для определения отношений.

Datalog – это подмножество Prolog, не обладающее полной вычислительной мощью Тьюринга, что делает его подходящим для моделирования отношений.

Оптимизация Datalog может быть достигнута за счет частичной оценки и методов, взятых из баз данных.