.

0 (hodnocen0 x )

(3) Půjčeno:6x 

BK

Příručka

Praha : SNTL - Nakladatelství technické literatury, 1991

251 s. : il.

ISBN 80-03-00609-0

000085846

PŘEDMLUVA // 1 ÚVOD // 1.1 Trochu historie // 12 K čemu se používá Prolog // 13 Rysy jazyka // 1.4 Porovnání s jinými jazyky // 2 SEZNÁMENÍ S PROLOGEM // 2.1 Databáze Prologu // 2.1.1 Fakta // 2.1.2 Promčnné // 2.1.3 Pravidla // 22 Výpočet programu // 2.2.1 Blokový model Prologu // 3 PROGRAMOVÁNÍ V LOGICE // 3.1 Termy a klauzule // 3.1.1 Objekty a relace, termy // 3.1.2 Jednoduché a složené termy // 3.1.3 Formule // 32 Logické programy // 3.2.1 Struktura logického programu // 3.2.2 Unifikace // 3.2.3 Logické odvozování // 3.2.4 Rezoluce // 3.2.5 Strategie Prologu // 3.2.6 Příklady výpočtů // 3.2.7 Nekonečné výpočty // 3.2.8 Hledání alternativních řešení // 33 Invertibilità logických programů // 3.3.1 Příklad // 3.3.2 Vstupní a výstupní parametry // 3.4 Složitost programů // 3.4.1 Příklad // 3.4.2 Výpočtové stromy programů // 3.4.3 Délka výpočtu // 3.4.4 Vývoj logických programů // ANATOMIE PROLOGU // Základní stavební prvky Prologu // Znaky // Konstanty // Proměnné // Struktury // Klauzule // Datové typy Prologu (přehled) // Datové struktury Prologu // Reprezentace struktur pomocí stromů // Seznamové struktury // Řízení výpočtu // Ještě jednou o alternativních řešeních // Programování cyklů // Operátor řezu // Zelený řez // Červený řez // Cyklus s podmínkou // Cyklus řízený proměnnou // Negace jako prostředek řízení // Vestavěné predikáty Prologu // Klasifikace termů // Operátory // Logické operátory // Aritmerické operátory // Predikáty pro řízení průchodu programem // Porovnávání termů // Konverze termů // Řízení databáze // Vstupní a výstupní operace // Vstup a výstup znaků // Vstup a výstup řetězců // Soubory // Ladění programů // Grupování termů // Deklarace operátorů // Syntax Prologu // Metajazyk pro popis syntaxe //

Přehled syntaxe Prologu // APLIKACE // Operace se seznamy // Spojování a rozpojování seznamů // Prvky seznamu, délka seznamu 7 // 5.1.3 Vymazání prvku ze seznamu, // vložení prvku do seznamu 115 // 5.1.4 Podseznam, úsek, seznam listů 115 // 5.1.5 Množinové operace 117 // 5.1.6 Permutace 118 // 5.1.7 Rozdílové seznamy 119 // 5.1.8 Slučování seznamů (merge) 121 // 5.2 Třídění 122 // 5.2.1 Sorting, (naivní třídéní) 122 // 5.2.2 Bubble sort (bublinové třídéní) 123 // 5.2.3 Quick sort (rychlé třídění) 124 // 53 Algebraické výrazy a čísla v Prologu 126 // 5.3.1 Algebraické operace 126 // 5.3.2 Úpravy algebraických výrazů 127 // 5.3.3 Příklad: Symbolické derivování 129 // 5.3.4 Příklad: Fibonacciho posloupnost 132 // 5.4 Aritmetické operace 133 // 5.4.1 Aritmetické výrazy 134 // 5.4.2 Jednoduché příklady 135 // 5.5 Grafy 136 // 5.5.1 Cesta v grafu 136 // 5.5.2 Prohledávání do hloubky a do šířky 138 // 5.5.3 Heuristické prohledávání 139 // 5.6 Řešení úloh 139 // 5.6.1 Úvod 139 // 5.6.2 Farmář, vlk, koza a zelí 140 // 5.6.3 Hanojská věž 143 // 5.7 Plánování 144 // 5.7.1 Strips 144 // 5.7.2 Warplan 148 // 5.8 Databáze 160 // 5.8.1 Příklad: Kartotéka pacientů 160 // 5.8.2 Relační model báze dat a jeho složky 166 // 5.8.3 Strukturovaný dotazovací jazyk SQL 167 // 5.9 Expertní systémy 170 // 5.9.1 Složky expertního systému 170 // 5.9.2 Jednoduchý příklad 170 // 5.9.3 Pravidla a jejich překlad do logického programu 180 // 5.9.4 Inferenční stroj 182 // 5.9.5 Práce s neurčitostí 186 // 5.10 Produkční systémy 187 // 5.10.1 Interpret produkčního systému 187 // 5.10.2 D\\ a příklady produkčních systénů 189 // 5.10.3 Objektově orientované programcvání bází znalostí 192 8 // 5.10.4 Agenda úloh 195 // 5.10.5 Příklad 195 //

5.11 Analýza přirozeného jazyka 201 // 5.11.1 Strojový překlad 201 // 5.11.2 Syntaktická analýza 202 // 5.11.3 Gramatiky defmitních klauzulí 205 // 6 LOGICKÉ PROGRAMOVÁNÍ A PROLOG 210 // 6.1 Rezoluční odvozování a logické programy 210 // 6.1.1 Formule 211 // 6.1.2 Klauzule 212 // 6.1.3 Důkazové prostředky 213 // 6.1.4 Unifikace 215 // 6.1.5 Rezoluce 219 // 6.1.6 Hornovy klauzule a logické programy 221 // 62 Problémy jazyka 223 // 6.2.1 Unifikace a test konfliktních proměnných 223 // 6.2.2 Neúplnost standardní strategie 224 // 63 Logické programy a neurčitosti 226 // 6.3.1 Neurčitosti v odvozeních 226 // 6.3.2 Metoda důkazu sporem 228 // 6.3.3 Možnosti zrychlování výpočtů 230 // 7 DODATKY 231 // 7.1 Různé implementace Prologu 231 // 7.1.1 DEC system 10 Prolog 231 // 7.1.2 Turbo Prolog 232 // 7.1.3 Arity Prolog 235 // 7.1.4 Micro Prolog 237 // 7.1.5 Prolog 80 237 // 7.1.6 Stručně o dalších implementacích 238 // 72 Abecední přehled standardních predikátů Prologu 240 // 73 Tabulka ASCII kódu 243 // LITERATURA 246 // ANGLICKO-ČESKÝ SLOVNÍČEK 250

cnb000062683