Obsah

ÚVOD		9
DIEL I: Funkcinálne programovanie
1	VÝRAZY A FUNKCIE	11
	1.1  Výrazy a príkazy	11
	1.2  Vlastnosti cistých výrazov	12
	1.3  Definícia funkcie	17
	1.4  Funkcionálny program	22
	1.5  Zhrnutie	24
2	ZÁKLADNÉ PRVKY JAZYKA LISP	25
	2.1  Základné typy údajov	27
	2.2  Abstraktný typ údajov lisp-zoznam	30
	2.3  Vyhodnotenie výrazu v lispe	42
	2.4  Predikáty a vetvenie	45
	2.5  Lambda výraz	50
	2.6  Priradenia	52
	2.7  Ešte raz vyhodnotenie výrazu v lispe	64
	2.8  Zhrnutie	66
3	PROGRAMOVACIE TECHNIKY	69
	3.1  Všeobecný pohlad na rekurziu	69
	3.2  Príklady rekurzívnych funkcií v lispe	72
	3.3  Štrukturálne schémy rekurzie	83
	3.4  Rekurzia a iterácia	96
	3.5  Funkcionály	101
	3.6  Pravidlá dobrého programovania	109
	3.7  Zhrnutie	111
DIEL II: Logické programovanie
4	ZÁKLADNÉ PRVKY JAZYKA PROLOG	115
	4.1  Príklad - vztahy na pracovisku	116
	4.2  Rozšírenie príkladu o pravidlá	122
	4.3  Význam predikátov	129
	4.4  Ako prolog odpovedá na dopyty	133
	4.5  Typy údajov jazyka prolog	136
	4.6  Zhrnutie	141
5	ODVODENIE VÝSLEDKU	143
	5.1  Hornove klauzuly	143
	5.2  Rezolvencia	146
	5.3  Zistovanie podobnosti termov	149
	5.4  Postup odvodenia v prologu	153
	5.5  Príklad	155
	5.6  Zhrnutie	157
6	PROGRAMOVACIE TECHNIKY	159
	6.1  Deklaratívna a procedurálna sémantika programov	160
	6.2  Zoznamy a rekurzia	160
	6.3  Aritmetika a porovnávanie termov	170
	6.4  Jednoduché schémy spracovania zoznamov	176
	6.5  Riadenie odvodenia riešenia	186
	6.6  Operátory	201
	6.7  Vedlajšie úcinky predikátov prologu	209
	6.8  Konštrukcia a dekompozícia termov	215
	6.9  Pravidlá dobrého programovania	220
	6.10  Zhrnutie	222
PRÍLOHY
	A  Riešenia vybraných cvicení	227
	B  Vybrané vstavané funkcie Common lispu	263
	C  Vybrané vstavané predikáty prologu	267
	D  Zoznam definovaných funkcií a predikátov	271
LITERATÚRA		273
REGISTER		275
ANGLICKÉ ZHRNUTIE (SUMMARY)		281

to Homepage

to Books

to the Top