Часть 3. Приложения 250

ПРИЛОЖЕНИЕ А. ВВЕДЕНИЕ В DOS 250

Что такое DOS 250

Как загрузить программу? 251

Каталоги 251

Подкаталоги 252

Где я нахожусь? Подсказка $p $g 252

AVTOEXEC.BAT-файл 253

Команда PATH 253

Смена каталогов 254

ПРИЛОЖЕНИЕ B. ИНТЕРАКТИВНЫЙ РЕДАКТОР ТУРБО ПРОЛОГА 256

Быстрый вход, быстрый выход 256

Служебная строка окна редактора 256

Основные команды редактора 257

Команды Редактора, совпадающие с командами WordStar 259

Основные команды работы с курсором 259

Команды быстрого движения курсора 259

Команды вставки и удаления 259

Команды работы с блоками 260

Остальные команды редактора 262

Старые команды 263

Поиск 264

Поиск и замена 264

Редактор Турбо Пролога по сравнению с WordStar 264

Корректировка файла на диске. 265

ПРИЛОЖЕНИЕ C. СООБЩЕНИЯ ОБ ОШИБКАХ 266

ПРИЛОЖЕНИЕ D. РАЗЛИЧИЯ МЕЖДУ ВЕРСИЯМИ 1.1 и 2.0 280

Внешние Базы Данных: 280

BGI Графика: 280

Улучшенный Пользовательский Интерфейс: 280

Компиляция программ 1.x в 2.0 280

GLOBAL раздел программы 280

Global Database 281

Файл определения проекта 281

Новые ограничения по именам 281

Новые предопределенные домены 282

Контроль состава параметров шаблона (flow pattern) 282

Поддержка старых командных клавиш редактора 282

Ошибочные ситуации в стандартных предикатах 282

Расширение Турбо Пролога 2.0 283

Системные расширения 283

ПРИЛОЖЕНИЕ E. СЛОВАРЬ СПЕЦИАЛЬНЫХ ТЕРМИНОВ 290

ПРИЛОЖЕНИЕ F. Географическая база данных (Geobase) 294

Использование Geobase 294

Системы с 2-мя флоппи-дисковыми устройствами 294

Компиляция Geobase 294

Создание автономной программы 295

Главное меню Geobase 295

Справка 295

Команды DOS 296

Редактор 296

Запросы к базе данных 296

Просмотр языка 296

Корректировка языка 297

Принципы Geobase 297

Использование принципа Geobase 298

Создание вашей базы данных 298

Преобразование Geobase 299

Предикат "ent" 299

Предикат "db" 300

Трансляция запросов на естественном языке 300

Внутренние имена объектов 301

Внутренние имена связей 302

Определение структуры предложений 302

База данных языка 303

Грамматический разбор с помощью разделения списков 303

Заключение 304

ПРИЛОЖЕНИЕ G. АНАЛИЗАТОР ПРЕДЛОЖЕНИЙ НА ТУРБО ПРОЛОГЕ 305

Использование анализатора предложений 305

Помощь пользователя 305

Операционная система 305

Редактирование базы данных 306

Загрузка базы данных из файла 306

Сохранение базы данных 306

Анализ предложений 306

«Показать/изменить словарь» 307

ПРИЛОЖЕНИЕ H. GENI: ОБОЛОЧКА ЭКСПЕРТНОЙ СИСТЕМЫ 308

Использование GENI 308

Запросы GENI 309

Просмотр знаний 309

Корректировка базы знаний 310

Сохранение базы знаний 311

Создание новой базы знаний 311

Чистка текущей базы знаний 311

Проектирование новой базы знаний 311

ПРИЛОЖЕНИЕ I. TLIB: БИБЛИОТЕКА ТУРБО 313

Компоненты командной строки TLIB 313

Компонент «описание» 314

Список операций 314

Имена файла и модуля 315

Операции TLIB 316

Создание библиотеки 317

Использование файла ответа 317

Расширенные возможности: опция /С 317

Примеры 318

ПРИЛОЖЕНИЕ J. TLINK: КОМПОНОВЩИК ТУРБО 319

Активизация TLINK 319

Использование ответных файлов 321

Компоновка модулей Турбо Пролога и Турбо Си. 321

Модуль инициализации 322

Таблица идентефикаторов 322

Библиотеки 323

Опции TLINK 323

Опция /c 323

Опция /d 323

Опция /i 324

Опция /l 324

Опции /m, /s, /x 324

Опция /m 324

Опция /s 324

Опция /x 326

Опция /n 326

Ограничения 326

Сообщения об ошибках 327

Предупреждения 327

Нефатальные ошибки 328

Фатальные ошибки 328

ПРИЛОЖЕНИЕ K. МЕТАПРОГРАММИРОВАНИЕ 331

Введение 331

Пролог/Турбо: развитие и философские установки 331

Конструкторские решения в Турбо Прологе 332

Чем Турбо зарядило Турбо Пролог 333

Интерпретатор правил с обратной цепочкой рассуждений 334

Термы (горючее для интерпретатора правил) 335

Статические термы: область sTerm (статических термов) 335

Интерпретирование области термов. 337

Что такое интерпретатор? 337

Интерпретация правил в Прологе 337

Использование sTerm и aTerm для моделирования интерпретатора правил 339

Переменные и среда 340

Процесс унификации 341

Унификация статических и действительных термов 342

Интерпретация тела правила 345

Выполнение выполняемых термов: предикат call. 346

Встроенные предикаты 348

Сканнер и транслятор 351

Операторы традиционного Пролога 352

Использование операторов в Турбо Прологе 353

Интерпретатор Пролога 354

UNIFY_TERM 354

UNIFY_BODY 357

CALL 359

Реализация трассировки 366

Теперь объединим все вместе 367

Расширения экспертной системы 369

Цепочка с прямым порядком рассуждений 372

Стандартные предикаты, реализованные в PIE 374

Заключение 375