Visual Prolog 7.1 для начинающих [Эдуардо Коста] (pdf) читать постранично, страница - 2

Книга в формате pdf! Изображения и текст могут не отображаться!


 [Настройки текста]  [Cбросить фильтры]

......................................................................... 37

5.4.1.

Пример программы с множественными решениями ............................................. 37

5.5.

Логические связки ..................................................................................... 40

5.6.

Импликация ............................................................................................... 40

5.7.

Хорновские предложения ......................................................................... 40

5.8.

Объявления ............................................................................................... 41

5.8.1.

Объявление режимов детерминизма ...................................................................... 42

5.9.

Предикаты рисования ............................................................................... 43

5.10.

Объект GDI ................................................................................................. 43

5.11.

Примеры .................................................................................................... 44

5.12.

Немного о логике: Смысл предложений Хорна ........................................ 46

Глава 6:

Консольные приложения ............................................................. 47

6.1.

Отсечение .................................................................................................. 47

6.2.

Списки ........................................................................................................ 48

6.3.

Схемы обработки списков ......................................................................... 53

6.4.

Обработка строк ........................................................................................ 57

6.4.1.

6.5.

Глава 7:

Полезные предикаты для работы со строками ....................................................... 59

Немного о логике: Грамматика предикатов .............................................. 63

Грамматика ................................................................................. 65

7.1.

Грамматический разбор ............................................................................ 65

7.2.

Порождающие грамматики ...................................................................... 67

7.3.

Почему Пролог? ......................................................................................... 69

7.4.

Примеры .................................................................................................... 69

7.5.

Немного о логике: Натуральная дедукция ................................................ 69

Глава 8:

Рисование...................................................................................... 72

8.1.

Процедура onPainting ................................................................................ 72

8.2.

Пользовательский элемент управления .................................................... 75

8.3.

Немного о логике: Принцип резолюций ................................................... 76

Глава 9:

Типы данных ................................................................................. 79

9.1.

Примитивные типы данных....................................................................... 79

9.2.

Множества ................................................................................................. 80

9.3.

Множества чисел ....................................................................................... 80

9.4.

Иррациональные числа ............................................................................. 84

9.5.

Действительные числа............................................................................... 85

9.6.

Математика ............................................................................................... 85

4

9.7.

Форматирование ....................................................................................... 85

9.8.

Домены...................................................................................................... 87

9.8.1.
9.8.2.

9.9.

Списки ......................................................................................................................... 87
Функторы .................................................................................................................... 87

Немного о логике: Предложения Хорна.................................................... 90

Глава 10:
10.1.

Полезные примеры ................................................................................... 91

Глава 11:
11.1.

Чтение и запись строки ....................................................................................... 109

Константы ................................................................................................ 110

Глава 12:
12.1.

Факты ..................................................................................... 107

Класс file................................................................................................... 109

11.1.1.

11.2.

Как решать это в Прологе ...................................................... 91

Классы и объекты................................................................... 112

Факты объектов ....................................................................................... 113

Глава 13:

Джузеппе Пеано ...................................................................... 116

13.1.

Черепашья графика ................................................................................. 116

13.2.

Состояния черепахи ................................................................................. 118

13.3.

Рекурсия .................................................................................................. 119

13.4.

Кривая Пеано ........................................................................................... 120

13.5.

Latino Sine Flexione ................................................................................... 121

13.6.

Цитаты из «Ключа к интерлингве» .......................................................... 121

13.7.

Примеры .................................................................................................. 125

Глава 14:

L-системы ............................................................................... 127

14.1.

Класс draw ................................................................................................ 127

14.2.

Примеры .................................................................................................. 129

Глава 15:
15.1.

Игры......................................................................................... 130

Факты объектов ....................................................................................... 135

Глава 16:

Анимация ................................................................................ 137

16.1.

Класс dopaint............................................................................................