Programowanie Logiczne

jest wariantem programowania deklaratywnego, w którym specyfikacja jest wyrażona w języku logiki pierwszego rzędu.

Klasycznym przykładem tego typu języka programowania jest Prolog. Program w języku Prolog to zestaw zdań w języku logiki pierwszego rzędu (węższego rachunku predykatów) stwierdzających pewne fakty oraz reguły. Podstawowym składnikiem programu jest więc wyrażenie atomiczne złożone z predykatu i jego argumentów.

Źródła:

⠀ KUL, PIOTR KULICKI; KULICKI, RAFAŁ TRÓJCZAK KUL PIOTR; TRÓJCZAK, RAFAŁ. LOGIKA W INFORMATYCE I INŻYNIERII WIEDZY. Retrieved from https://www.researchgate.net/profile/Piotr_Kulicki/publication/331652210_Logika_w_informatyce_i_inzynierii_wiedzy/links/5d7eab