Programowanie logiczne

Autor: Leandro Alegsa

24-01-2021

Programowanie logiczne wykorzystuje logikę matematyczną do pisania programów komputerowych. Istnieją wyspecjalizowane języki programowania, w których użytkownik może bezpośrednio wprowadzać polecenia logiczne. Prawdopodobnie najbardziej znanym z tych języków jest Prolog. Kościół Alonzo używał formy programowania logicznego w tzw. rachunku lambda. Programowanie logiczne zostało również użyte w LISP.

Programy składają się z zestawu zasad i faktów. W większości przypadków programowanie logiczne wykorzystuje tzw. negację jako porażkę lub słabą negację: Oznacza to, że jeśli nie jest możliwe wyprowadzenie jakiejś klauzuli p {\i0}z $p$ faktów i reguł, system założy, że jego negacja jest prawdziwa.

Pytania i odpowiedzi

P: Czym jest programowanie logiczne?

O: Programowanie logiczne to podejście do programowania, które wykorzystuje logikę matematyczną do pisania programów komputerowych.

P: Jakie języki programowania wykorzystują programowanie logiczne?

O: Niektóre języki programowania wykorzystujące programowanie logiczne to Prolog i LISP.

P: Jaka jest rola reguł i faktów w programowaniu logicznym?

O: Programy w programowaniu logicznym składają się z zestawu reguł i faktów.

P: Czym jest negacja jako niepowodzenie w programowaniu logicznym?

O: Negacja jako niepowodzenie to pojęcie w programowaniu logicznym, w którym jeśli nie jest możliwe wyprowadzenie określonej klauzuli z faktów i reguł, system zakłada, że jej negacja jest prawdziwa.

P: Czym jest słaba negacja w programowaniu logicznym?

O: Słaba negacja to inny termin na negację jako niepowodzenie, która jest pojęciem w programowaniu logicznym.

P: Kto użył formy programowania logicznego w rachunku lambda?

O: Alonzo Church użył formy programowania logicznego w tym, co dziś znane jest jako rachunek lambda.

P: Jaki jest najbardziej znany język programowania, który pozwala użytkownikom na bezpośrednie wprowadzanie instrukcji logicznych?

O: Prolog jest prawdopodobnie najbardziej znanym językiem programowania, który pozwala użytkownikom na bezpośrednie wprowadzanie instrukcji logicznych.