Pe ce se bazează programarea logică?

Question

Se  bazează pe  faptul  că,  rezolvarea unei probleme  constă dintr-o  reprezentare corespunzătoare a  cunoştinţelor. Limbajele de  programare  logică se  mai  numesc  şi limbaje  declarative.  Spre  deosebire  de  limbajele  procedurale,   la  care  fiecare   pas procedural trebuia specificat în detaliu, la limbajele declarative, se specifică ceea ce se aşteaptă în obţinerea soluţiei (scopul problemei). Nu numai că soluţia poate fi furnizată fără specificarea paşilor necesari, dar  programul poate explica uneori  cum  a  obţinut soluţia.   Teoria matematică care stă la baza acestei paradigme este logica predicatelor de ordin unu,  care lucrează cu  entităţi logice (nu cu numere).   Logica predicatelor  este o logică simbolică al cărui scop este de a reprezenta tipuri de raţionament. Atâta timp cât calculul predicatelor are reguli şi formalităţi matematice definite printr-o teorie, soluţia la o problemă specifică este completă şi efectivă.   Problemele care sunt indicate spre a fi rezolvate prin programare logică sunt din domeniul demonstrării de probleme şi  propagării de cunoştinţe. Programarea cunoştinţelor face parte din metoda soluţiei generale, care implică propagarea constrângerilor. Uneori se numeşte şi propagarea adevărului, deoarece implică propagarea constrângerilor care  implică  valori de adevăr.  Valorile de adevăr pot fi binare (T, F) sau multi-valoare (T, probabil T, posibil T, F). Exemplu de limbaj de programare este Prolog.

krudit · Accepted Answer

În opinia mea, programarea Logică se bazează pe 5 principii majore și anume: Disjuncții lui Horn; Principiul Rezoluției (Robinson,1985); Mecanismul de Backtracking și controlul lui; Regulile recursive; Mecanismul de unificarea și strategiile de căutare.