SPIS TREŚCI
11.1 Czy tylko deklaratywność?...........................99
11.2 Zmniejszać przestrzeń rozważań........................100
11.3 Niech pracują za nas inni ...........................101
11.4 Pracuj na głowie..................................103
11.5 ... albo odcinaj to co zbędne .........................103
12.1 Postać normalna................................109
12.1.1 Przekształcanie do postaci normalnej.................110
12.2 Formuła Horna.................................112
12.3 twierdzenie tutu ................................112
12.4 Rezolucja....................................112
12.5 Pytania i odpowiedzi..............................114
13.1 ćwiczenie 1...................................116
13.1.1 Zadanie.................................116
13.1.2 Zadanie.................................116
13.1.3 Zadanie.................................116
13.1.4 Zadanie.................................116
13.1.5 Zadanie.................................116
13.2 Ćwiczenie 2...................................117
13.2.1 Zadanie.................................117
13.2.2 Zadanie.................................118
13.2.3 Zadanie.................................118
13.2.4 Zadanie.................................118
13.2.5 Zadanie.................................118
13.2.6 Zadanie.................................118
13.2.7 Zadanie.................................118
13.3 Ćwiczenie 3...................................119
13.3.1 Zadanie.................................119
13.3.2 Zadanie.................................119
13.3.3 Zadanie.................................119
13.3.4 Zadanie.................................119
13.3.5 Zadanie.................................119
13.3.6 Zadanie.................................119
13.3.7 Zadanie.................................119
13.3.8 Zadanie.................................119
13.3.9 Zadanie.................................120
13.3.10 Zadanie.................................120
13.3.11 Zadanie.................................120
13.4 Ćwiczenie 4...................................121
13.4.1 Zadanie.................................121
13.4.2 Zadanie.................................121
13.4.3 Zadanie.................................121
13.4.4 Zadanie.................................121
13.4.5 Zadanie.................................121
Programowanie w logice. Prolog ©2007-2009 by P. Fulmański (ostatnia modyfikacja: 18 maja 2009)