Скачиваний:
222
Добавлен:
17.06.2016
Размер:
2.69 Mб
Скачать

Глава 9. Внутренняя база данных турбо пролога 180

Использование внутренней базы данных 180

Объявление внутренней базы данных 180

Обновление внутренней базы данных 181

Занесение фактов во время исполнения 182

Удаление фактов во время выполнения программы 182

Удаление нескольких фактов сразу 184

Считывание новых фактов из файла во время выполнения программы 184

Сохранение базы данных с фактами во время работы программы 185

Примеры 185

Обзор 188

Глава 10. Трассировка и отладка 189

Синтаксическая проверка 190

Пример 191

Трассировка 191

Директива трассировки 192

Пример использования директивы trace 192

Трассировка в режиме оптимизации: shorttrace 194

Пример 194

Трассировка указанных предикатов 194

Пример использования директивы shorttrace 194

Сохранение результатов трассировки 195

Предикат trace 195

Пример использования предиката trace 196

Диалоговое управление трассировкой 196

Состояние ( Status ) 196

Окно Трассировки ( Trace Window ) 197

Окно Редактора ( Edit Window ) 197

Предикаты, с особым значением в режиме трассировки 197

Упражнение по трассировке 197

Директивы компилятора, используемые для отладки 198

Директивы check_determ и nondeterm 198

Упражнение 198

Директива diagnostics 199

Директива nowarnings 200

Собщения об ошибках во время выполнения программы 200

Опции компилятора из меню 201

Integer Overflow Check (Проверка целого) 202

Stack Check (Проверка стека) 202

Обзор 202

Часть 3. Описание турбо пролога 2.0 203

Глава 11. Арифметические вычисления и сравнения 203

Арифметические выражения 203

Операции 203

Порядок вычислений 204

Функции и предикаты 204

Генератор случайных чисел 205

Предикат random/1 205

Предикат random/2 205

Целочисленная и вещественная арифметика 206

Функция mod/2 206

Функция div/2 206

Функция abs/1 207

Функция cos/1 207

Функция sin/1 207

Функция tan/1 207

Функция arctan/1 208

Функция exp/1 208

Функция ln/1 208

Функция log/1 208

Функция sqrt/1 208

Функция round/1 209

Функция trunc/1 209

Упражнение 209

Сравнение 209

Равенство и предикат равенства 211

Упражнения 212

Сравнение символов, строк и идентификаторов 213

Символы 213

Строки 213

Идентификаторы 214

Глава 12. Запись, чтение и файлы 215

Запись и чтение 215

Запись 215

Предикаты write/* и nl 215

Примеры, демонстрирующие предикат write 216

Упражнение 218

Предикат writef/* 218

Турбо Пролог распознает следующие спецификаторы формата поля f: 219

Примеры форматного вывода 219

Чтение 220

Предикат readln/1 220

Предикаты readint/1, readreal/1 и readchar/1 221

Предикат readterm/2 221

Предикат file_str/2 222

Предикат inkey/1 222

Предикат keypressed/0 222

Предикат unreadchar/1 222

Примеры 223

Упражнение 224

Открытие и закрытие файлов 225

Предикат openread/2 225

Предикат openwrite/2 225

Предикат openappend/2 226

Предикат openmodify/2 226

Предикат filemode/2 226

Предикат readdevice/1 227

Предикат writedevice/1 227

Примеры 227

Работа с файлами 228

Примеры 229

Предикат eof/1 230

Пример 230

Предикат flush/1 231

Предикат existfile/1 231

Предикат deletefile/1 231

Предикат renamefile/2 232

Предикат disk/1 232

Расширение базы данных с помощью файлов 232

Работа с фактами, как с термами 233

Примеры 233

Обзор 238

Глава 13. Обработка строк в турбо прологе 240

Обработка строк 240

Основные предикаты управления строкой 240

frontchar/3 240

Пример 241

fronttoken/3 241

Пример 241

frontstr/4 242

concat/3 242

str_lеn/2 243

isname /1 243

format/* 243

Преобразования типа 243

char_int/2 243

str_char/2 244

str_int/2 244

str_real/2 244

upper_lower/2 244

Примеры. 245

Обзор 247

Соседние файлы в папке Документация