Bevezetés a logikai programozásba

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 5 olvasói szavazat alapján történt.

Eredeti címe:

Introduction to Logic Programming

Könyv tartalma:

A logikai programozás egy olyan programozási stílus, amelyben a programok a szimbolikus logika nyelvén megfogalmazott mondatok halmazainak formáját ölthetik.

Az évek során egyre nagyobb érdeklődés mutatkozott a logikai programozás iránt a deduktív adatbázisokban, az automatizált munkalapokban, a vállalatirányításban (üzleti szabályok), a számítási jogban és az általános játékokban való alkalmazások miatt. Ez a könyv bemutatja a logikai programozás elméletét, a jelenlegi technológiát és a népszerű alkalmazásokat.

Ebben a kötetben a logikai programozás innovatív, modellelméleti megközelítését alkalmazzuk. Az adathalmazok, azaz az alapatomok halmazainak alapvető fogalmával kezdjük. Ezen alapvető fogalom alapján bevezetjük a nézeteket, azaz a virtuális relációkat; és a klasszikus logikai programokat nézetdefiníciók halmazaként definiáljuk, amelyeket a hagyományos Prolog-szerű jelöléssel írunk, de szemantikájuk nem a megvalósítás, hanem az adathalmazok szempontjából adott. Ezután bevezetjük az akciókat, azaz az alapatomok hozzáadását és törlését; és a dinamikus logikai programokat akciódefiníciók halmazaként definiáljuk.

A nyomtatott könyv mellett a szövegnek van egy online változata is, amely a szövegben használt nyelv értelmezőjét és fordítóját, valamint egy integrált fejlesztőkörnyezetet tartalmaz a gyakorlati logikai programok fejlesztéséhez és telepítéséhez.

"Ez a könyv a 21. század könyve: elegáns és innovatív szemléletet mutat be a logikai programozásról. Más szövegektől eltérően az adathalmazokat alapvető fogalomnak tekinti, ezáltal áthidalja a programozási nyelvek és a tudásreprezentációs nyelvek közötti szakadékot; és a frissítéseket egyenrangúan kezeli az adathalmazokkal, ami a cselekvés és a változás megalapozott és gyakorlatias kezeléséhez vezet." - Bob Kowalski, az Imperial College London nyugalmazott professzora.

"Egy olyan világban, ahol a Deep Learning és a Python a napi beszédtéma, ez a könyv figyelemre méltó fejlemény. Bevezeti az olvasót a hagyományos logikai programozás alapjaiba, és világossá teszi a technológia használatának előnyeit a komplex rendszerek futtatható specifikációinak létrehozásához." - Son Cao Tran, az Új-Mexikói Állami Egyetem informatika professzora.

"Kiváló bevezetés a logikai programozás alapjaiba. A könyv jól megírt és jól felépített. A fogalmakat világosan elmagyarázza, és a feladatok fokozatosan növekvő bonyolultsága lehetővé teszi, hogy az ember gyorsan megértse az egyszerű fogalmakat, mielőtt rátérne a nehezebb gondolatokra." - George Younger, hallgató, Stanford Egyetem.