Какво е логическо програмиране?

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

Основни концепции:

• Факти: Утвърждения, които се считат за истински (например, родител(иван, павел)).
• Правила: Описание на зависимостите между факти (например, дядо(X, Y) :- родител(X, Z), родител(Z, Y), което се чете като "X е дядо на Y, ако X е родител на Z и Z е родител на Y").
• Запитвания: Въпроси, задавани на програмата за получаване на информация (например, ?- дядо(иван, Кой?), "Кой е внук на Иван?").

Процесът на изпълнение на програмата се състои в търсене на доказателство за истинността на запитването въз основа на дадените факти и правила, използвайки механизми за извод (например, резолюция).

Най-известният език за логическо програмиране е Prolog.

Приложения в QA:

• Спецификации на изискванията във формална логика.
• Автоматично генериране на тестове въз основа на спецификациите.
• Анализ на ограничения и зависимости в системата.
• Формална верификация на свойствата на системата.

Пример на Prolog:

// Факти
родител(иван, павел).
родител(павел, ана).
родител(иван, мария).

// Правила
дядо(X, Y) :- родител(X, Z), родител(Z, Y).

// Запитване
// ? - дядо(иван, Кой?).
// Отговор: Кой = ана.