Programare logică
Programarea logică constă în utilizarea logicii matematice pentru a scrie programe de calculator. Există limbaje de programare specializate în care utilizatorul poate introduce direct declarații logice. Probabil că cel mai cunoscut dintre aceste limbaje se numește Prolog. Alonzo Church a folosit o formă de programare logică în ceea ce astăzi este cunoscut sub numele de lambda calculus. Programarea logică a fost utilizată și în LISP.
Programele constau dintr-un set de reguli și fapte. În cele mai multe cazuri, programarea logică utilizează ceea ce se numește negație ca eșec sau negație slabă: Aceasta înseamnă că, dacă nu este posibilă derivarea unei anumite clauze p {\displaystyle p} 
din fapte și reguli, sistemul va presupune că negația acesteia este adevărată.
Întrebări și răspunsuri
Î: Ce este programarea logică?
R: Programarea logică este o abordare a programării care utilizează logica matematică pentru a scrie programe de calculator.
Î: Care sunt unele limbaje de programare care utilizează programarea logică?
R: Unele limbaje de programare care utilizează programarea logică includ Prolog și LISP.
Î: Care este rolul regulilor și faptelor în programarea logică?
R: Programele în programarea logică constau dintr-un set de reguli și fapte.
Î: Ce este negația ca eșec în programarea logică?
R: Negarea ca eșec este un concept în programarea logică în care, în cazul în care nu este posibilă derivarea unei anumite clauze din fapte și reguli, sistemul va presupune că negația acesteia este adevărată.
Î: Ce este negația slabă în programarea logică?
R: Negarea slabă este un alt termen pentru negarea ca eșec, care este un concept în programarea logică.
Î: Cine a folosit o formă de programare logică în calculul lambda?
R: Alonzo Church a folosit o formă de programare logică în ceea ce este cunoscut astăzi sub numele de lambda calculus.
Î: Care este cel mai cunoscut limbaj de programare care permite utilizatorilor să introducă direct declarații logice?
R: Prolog este probabil cel mai cunoscut limbaj de programare care permite utilizatorilor să introducă direct declarații logice.
