Prolog este un limbaj de programare declarat, simbolic, cu o sintaxă simplă, puternic din punct de vedere programatic pentru dezvoltarea de aplicații, în special aplicații de Inteligență Artificială. Scopul acestei cărți este ca cititorul să înțeleagă caracteristicile limbajului, care îl fac un instrument puternic de programare. Să înțeleagă utilizarea sa ca principal instrument de programare în Inteligența Artificială. Să înțeleagă că Prolog, pe lângă faptul că este un limbaj de programare, este un sistem inteligent.
Aceasta se realizează analizând relația limbajului cu logica și evidențiind mecanismul său de raționare. Să extindă capacitățile programatorului, astfel încât dezvoltarea de aplicații web în Prolog să fie o sarcină simplă, fără implicarea multor tehnologii diferite și complexe. Inițial, se prezintă caracteristicile programative specifice ale limbajului. Ulterior, se prezintă tehnici de programare și aplicații ale Prolog în domenii ale Inteligenței Artificiale, cum ar fi meta-programarea, rezolvarea problemelor prin căutare în spații de stare, sisteme de cunoștințe și procesarea limbajului natural.
Urmează capitolul despre programarea web în Prolog. Ultimul capitol se referă la tranziția de la logică la Programarea Logică și la Prolog, care evidențiază, de asemenea, mecanismul de raționare al Prolog. Această carte se adresează cadrelor didactice și studenților universitar, precum și inginerilor software care se ocupă cu dezvoltarea de software, în special cu dezvoltarea aplicațiilor de Inteligență Artificială.
Temele incluse în carte sunt următoarele:
- Părțile de bază ale unui program Prolog.
- Recursie, liste și aritmetică în Prolog.
- Arbore de căutare, backtracking și negare.
- Controlul fluxului în programele Prolog.
- Operatori definiți de utilizator.
- Predicate încorporate.
- Tehnici de programare.
- Meta-programare.
- Căutare în spații de stare.
- Sisteme de cunoștințe.
- Procesare a limbajului natural.
- Programare web în Prolog.
- De la logică la Programare Logică.
Număr de pagini
622
Copertă
Moale
Anul publicării
2019
Editor
Ekdoseis Neon Technologion