Introducere în programarea logică

Recenzii ale cititorilor

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

Titlul original:

Introduction to Logic Programming

Conținutul cărții:

Programarea logică este un stil de programare în care programele iau forma unor seturi de propoziții în limbajul logicii simbolice.

De-a lungul anilor, a existat un interes crescut pentru Programarea Logică datorită aplicațiilor în baze de date deductive, foi de lucru automate, Managementul Întreprinderilor (reguli de afaceri), Dreptul Computațional și Jocurile Generale. Această carte prezintă teoria Programării Logice, tehnologia actuală și aplicațiile populare.

În acest volum, adoptăm o abordare inovatoare, teoretică a modelului, a programării logice. Începem cu noțiunea fundamentală de seturi de date, și anume, seturi de atomi de bază. Având în vedere această noțiune fundamentală, introducem punctele de vedere, adică relațiile virtuale; și definim programele logice clasice ca seturi de definiții ale punctelor de vedere, scrise folosind notația tradițională de tip Prolog, dar cu semantica dată în termeni de seturi de date mai degrabă decât de implementare. Introducem apoi acțiunile, adică adăugirile și ștergerile de atomi de bază; și definim programele logice dinamice ca seturi de definiții ale acțiunilor.

În plus față de cartea tipărită, există o versiune online a textului cu un interpret și un compilator pentru limbajul utilizat în text și un mediu de dezvoltare integrat pentru utilizare în dezvoltarea și implementarea de programe logice practice.

"Aceasta este o carte pentru secolul XXI: prezintă o perspectivă elegantă și inovatoare asupra programării logice. Spre deosebire de alte texte, ia seturile de date ca o noțiune fundamentală, reducând astfel decalajul dintre limbajele de programare și limbajele de reprezentare a cunoștințelor; și tratează actualizările pe picior de egalitate cu seturile de date, ceea ce conduce la o tratare solidă și practică a acțiunii și schimbării." - Bob Kowalski, profesor emerit, Imperial College London.

"Într-o lume în care Deep Learning și Python sunt discuția zilei, această carte este o evoluție remarcabilă. Ea introduce cititorul în elementele fundamentale ale programării logice tradiționale și clarifică beneficiile utilizării tehnologiei pentru a crea specificații executabile pentru sisteme complexe." - Son Cao Tran, profesor în informatică, Universitatea de Stat din New Mexico.

"Excelentă introducere în elementele fundamentale ale programării logice. Cartea este bine scrisă și bine structurată. Conceptele sunt explicate clar, iar complexitatea în creștere treptată a exercițiilor face ca cineva să poată înțelege rapid noțiunile ușoare înainte de a trece la idei mai dificile." - George Younger, student, Universitatea Stanford.