Выдержка из книги
Метакидес Г.N.
Принципы логики и логического программирования
И поскольку отношения является более общим понятием, чем функция ( всякая функция есть отношение, но отношение, в общем случае, не обязано быть функцией), логическое программирование наделено большими возможностями, нежели традиционное программирование.