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:

Ez egy bevezetés a logikai programozás elméletébe, a jelenlegi technológiába és a népszerű alkalmazásokba. A logikai programozás innovatív, modellelméleti megközelítése.

A logikai programozás egy olyan programozási stílus, amelyben a programok a szimbolikus logika nyelvén megfogalmazott mondatok halmazainak formáját öltik. 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.

Az adathalmazok, azaz az alapatomok halmazainak alapvető fogalmával kezdődik. Ezt az alapfogalmat alapul véve bevezeti a nézeteket, azaz a virtuális relációkat; és a klasszikus logikai programokat nézetdefiníciók halmazaként definiálja, amelyeket a hagyományos Prolog-szerű jelöléssel írunk, de amelyek szemantikáját nem a megvalósítás, hanem az adathalmazok szempontjából adjuk meg. Ezután bevezeti 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álja.

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