Логічне програмування

Логічне програмування – полягає в описі завдання сукупністю тверджень мовою логічного програмування, тобто запису знань у задекларованій формі.

Рішення отримують за допомогою автоматичного виведення в певній формальності (дедуктивній) системі. Зазвичай логічне програмування пов’язують із мовою Prolog.