Úvod do logického programovania

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 5 hlasoch.

Pôvodný názov:

Introduction to Logic Programming

Obsah knihy:

Logické programovanie je štýl programovania, v ktorom majú programy podobu množiny viet v jazyku symbolickej logiky.

V priebehu rokov vzrástol záujem o logické programovanie vďaka aplikáciám v deduktívnych databázach, automatizovaných pracovných listoch, riadení podnikov (obchodné pravidlá), výpočtových zákonoch a všeobecných hrách. Táto kniha predstavuje teóriu Logického programovania, súčasné technológie a populárne aplikácie.

V tomto zväzku zaujímame inovatívny, modelovo-teoretický prístup k logickému programovaniu. Začíname základným pojmom množiny dát, t. j. množiny základných atómov. Vzhľadom na tento základný pojem zavádzame pohľady, t. j. virtuálne vzťahy; a definujeme klasické logické programy ako množiny definícií pohľadov, zapísané pomocou tradičnej notácie podobnej Prologu, ale so sémantikou danou v termínoch množín údajov, a nie implementácie. Potom zavedieme akcie, t. j. pridávanie a odstraňovanie základných atómov; a definujeme dynamické logické programy ako množiny definícií akcií.

Okrem tlačenej knihy je k dispozícii aj online verzia textu s interpreterom a kompilátorom jazyka použitého v texte a integrovaným vývojovým prostredím na použitie pri vývoji a zavádzaní praktických logických programov.

"Toto je kniha pre 21. storočie: predstavuje elegantný a inovatívny pohľad na logické programovanie. Na rozdiel od iných textov berie dátové súbory ako základný pojem, čím preklenuje priepasť medzi programovacími jazykmi a jazykmi na reprezentáciu znalostí; a aktualizácie považuje za rovnocenné s dátovými súbormi, čo vedie k rozumnému a praktickému spracovaniu akcie a zmeny." - Bob Kowalski, emeritný profesor, Imperial College London.

"Vo svete, kde sa o hlbokom učení a jazyku Python hovorí ako o dennom menu, je táto kniha pozoruhodným počinom. Uvádza čitateľa do základov tradičného logického programovania a objasňuje výhody používania tejto technológie na vytváranie spustiteľných špecifikácií pre zložité systémy." - Son Cao Tran, profesor informatiky na Štátnej univerzite v Novom Mexiku.

"Vynikajúci úvod do základov logického programovania. Kniha je dobre napísaná a dobre štruktúrovaná. Pojmy sú vysvetlené zrozumiteľne a postupne sa zvyšujúca zložitosť cvičení umožňuje rýchlo pochopiť jednoduché pojmy, než sa prejde k zložitejším myšlienkam." - George Younger, študent, Stanfordská univerzita.