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:

Aceasta este o introducere în teoria programării logice, tehnologia actuală și aplicațiile populare. Este o abordare inovatoare, model-teoretică a programării logice.

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, interesul pentru programarea logică a crescut datorită aplicațiilor în bazele de date deductive, foile de lucru automate, gestionarea întreprinderilor (reguli de afaceri), dreptul computațional și jocurile în general.

Lucrarea începe cu noțiunea fundamentală de seturi de date, și anume, seturi de atomi de bază. Având în vedere această noțiune fundamentală, se introduc apoi punctele de vedere, adică relațiile virtuale, și se definesc 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. Se introduc apoi acțiunile, adică adăugările și ștergerile de atomi de bază; și se definesc programele logice dinamice ca seturi de definiții de acțiuni.

Î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 utilizarea în dezvoltarea și implementarea programelor logice practice.