Programare logică

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare

În informatică , programarea logică este o paradigmă de programare care adoptă logica de ordinul întâi atât pentru a reprezenta, cât și pentru a procesa informațiile. Programarea logică diferă de programarea tradițională, dezvoltată de limbaje de nivel înalt, cum ar fi Fortran, Cobol, Basic, Algol, Pascal, Ada etc., prin faptul că necesită și, în același timp, permite programatorului să descrie structura logică a problema, mai degrabă decât modul de rezolvare [1] . Din punct de vedere conceptual, programatorul se poate concentra astfel pe aspectele logice ale problemei și pe cel mai bun mod de a le reprezenta, fără să se concentreze asupra necesității de a determina în detaliu cum se ajunge la rezultate.

În special, se adoptă fragmentul logicii clauzei Horn care reprezintă baza teoretică pe care sunt construite limbajele de programare aferente paradigmei logice și în special Prologul sau sublimile sale, precum Datalog sau AnsProlog .

Principalul mecanism de elaborare a teoriilor logice alcătuite din clauze este unificarea.

Printre extensiile programării logice se numără programarea logică inductivă și programarea logică abductivă .

Notă

  1. ^ Furlan F. & Lanzarone GA - PROLOG Limbaj și metodologie de programare logică
Controlul autorității Thesaurus BNCF 7540 · LCCN (EN) sh86003454 · GND (DE) 4195096-3 · BNF (FR) cb12067891q (dată) · BNE (ES) XX550687 (dată)