Programarea logică declarativă: Teorie, sisteme și aplicații

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 3 voturi.

Titlul original:

Declarative Logic Programming: Theory, Systems, and Applications

Conținutul cărții:

Ideea acestei cărți a apărut în urma unui simpozion care a avut loc la Stony Brook în septembrie 2012 pentru a celebra contribuțiile fundamentale ale lui David S. Warren la știința calculatoarelor și la domeniul programării logice în special.

Programarea logică (LP) se află la intersecția dintre reprezentarea cunoștințelor, inteligența artificială, logica matematică, bazele de date și limbajele de programare. Aceasta este fascinantă și stimulantă din punct de vedere intelectual datorită interacțiunii fundamentale dintre teorie, sisteme și aplicații, generate de logică. Programele logice sunt mai declarative, în sensul că se străduiesc să fie specificații logice a "ce" să facă, mai degrabă decât a "cum" să o facă, și astfel sunt de nivel înalt și mai ușor de înțeles și de întreținut. Cu toate acestea, fără a primi un algoritm real, sistemele LP implementează automat specificațiile logice.

Mai multe cărți acoperă elementele de bază ale LP, dar se concentrează în principal pe limbajul Prolog, cu strategia sa de control incompletă și caracteristicile sale non-logice. În același timp, există, în general, o lipsă de colecții accesibile, dar cuprinzătoare, de articole care să acopere aspectele cheie ale LP declarativ. Aceste aspecte includ, printre altele, semantica bine fundamentată vs. modelul stabil pentru negație, constrângeri, LP orientat pe obiecte, actualizări, LP probabilistic și metode de evaluare, inclusiv top-down vs. bottom-up și tabling.

În ceea ce privește sistemele, situația este și mai puțin satisfăcătoare, neexistând literatură accesibilă care să ajute la formarea noii generații de dezvoltatori, practicieni și cercetători. Există câteva ghiduri privind mașina abstractă a lui Warren (WAM), care stă la baza majorității implementărilor Prolog, dar există foarte puține informații privind ceea ce este necesar pentru construirea unui motor de inferență LP declarativ de ultimă generație. Comparați acest lucru cu literatura privind, să zicem, compilatoarele, unde se poate studia mai întâi o carte privind principiile generale și algoritmii și apoi se poate intra în detaliile unui anumit compilator. Astfel de resurse facilitează foarte mult capacitatea de a începe să aduceți rapid contribuții semnificative. Există, de asemenea, o lipsă de articole despre sistemele care acceptă limbaje cu adevărat declarative, în special cele care sunt legate de logica de ordinul întâi, programarea matematică și rezolvarea constrângerilor.

LP ajută la rezolvarea problemelor dificile într-o gamă largă de domenii de aplicare, dar lipsește o analiză aprofundată a legăturii acestora cu abstracțiunile limbajului LP și cu metodele de implementare LP. De asemenea, sunt rare studiile privind domeniile de aplicare dificile ale LP, cum ar fi bioinformatica, prelucrarea limbajului natural, verificarea și planificarea.

Scopul acestei cărți este de a ajuta la umplerea golului menționat anterior în literatura LP. Ea oferă o serie de sinteze privind aspectele cheie ale LP care sunt potrivite pentru cercetători și practicieni, precum și pentru studenții absolvenți. Sunt incluse următoarele capitole în teoria, sistemele și aplicațiile LP.