Ú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:

Toto je úvod do teórie logického programovania, súčasných technológií a populárnych aplikácií. Ide o inovatívny, modelovo-teoretický prístup k logickému programovaniu.

Logické programovanie je štýl programovania, v ktorom majú programy podobu množín 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šeobecnom hraní hier.

Začína sa základným pojmom množiny údajov, t. j. množiny základných atómov. Vzhľadom na tento základný pojem potom zavádza pohľady, t. j. virtuálne vzťahy; a definuje 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 zavádza akcie, t. j. pridávanie a odstraňovanie základných atómov, a definuje dynamické logické programy ako množiny definícií akcií.

Okrem tlačenej knihy je k dispozícii aj online verzia textu s interpretom 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.