Prolog. Реализация на ПЭВМ
    1. Интегрировання Среда языка Turbo Prolog.
    2. Структура программы
    3. Стандартные типы доменов
    4. Прототипы предиката
    5. Утверждения и цели
    6. Арифметические выражения.
    7. Встроенные прдикаты языка
     1. Интегрированная среда языка Turbo Prolog.
    Функционирование Т.Р. требует наличие следующих стандартных каталогов:
    корневой Prolog, в котором должны находится следующие файлы:
    prolog.exe
    prolog.ovl для создания exe файла
    prolog.r тексты сообщения об ошибках
    prolog.hlp файл помощи
    prolog.sys конфигурация среды
    prolog.lib библиотеки
    prolog.obj вспомагательный файл для создания пользов-их exe файлов
    подкаталог PRO для пользовательских исходных файлов (расширение .pro)
    подкаталог OBJ для пользовательских обьктных и prg файлов
    подкаталог EXE для хранения пользовательских exe файлов
    подкаталог DOS для команд ОС в том случае, если предполагается их использование из пользовательских программ. (min command.com) 2 Структура программы на TURBO PROLOG
    
    
    
    
    
    
    1 Для определения типов доменов или данных, используемых в программе
    2 описание прототипов пользовательских предикатов
    3 "утверждения" включает описание фактов в виде предикатов и правил, т.е. декларативных и процедурных знаний
    4 содержит цель решения задач, при его отсутствии система запрашивает цель решения задачи в окне диалога и в этом-же окне получаем ответ, при его присутствии в нем помещаем пользовательский интерфейс.
    
    
    Место для печатания
    
    
    
    -35--36--37-
    readint ()
    (integer) : (0) - читает целое число, чтение заканчивается нажатием
    readreal ()
    (real) : (0) - вещ.
    readchar()
    (char) : (0) - читает единичный символ
    readln () (string) : (0) - читает строку символов
    inkey () (char) : (0) - заканчивается истиной, если после предыдущей операции была нажата клавиша, возвращается её код. Если не была нажата, то предикат оканчивается неудачей
    nl - код двух клавиш - переход на новую строку
    write (x1, x2, ...)
    (переменные и константы) : (i, i, ...) - выдает на текущее устройство записи констант и содержание переменных
    writef (, x1, x2, ...)
    (string, ) : (i, i, ...)
    Структура формата:
    " % - m.pw ", где % - признак форматного вывода
    если задан "-", то знаки должны выравниваться по левому краю, если не задан - по правому
    m - длина поля вывода
    p - кол-во цифр после точки
    w - тип числа, вместо w записывается f, если выводится число в десятичном виде, e - в экспотенциальной форме, q - в самом коротком формате. Предикаты работы с символьными данными.
    str_lon (, )
    (string, integer) : (i, i) (i, 0)
    если задано (i, i), проверяется длина строки, если (i, 0) - возвращается длина строки
    Преобразование типов
    Все предикатные преобразования действуют в обе стороны. ............