Prolog. Реализация на ПЭВМ
| Категория реферата: Рефераты по информатике, программированию
| Теги реферата: доклад на тему физика, реферат газ
| Добавил(а) на сайт: Трусов.
Предыдущая страница реферата | 1 2 3 4 5 6 7 | Следующая страница реферата
Все предикатные преобразования действуют в обе стороны. Случай (i, i) проверяет истинность для всех типов, кроме real. Преобразование между типами string, symbol и real, integer пр-ся (?) автоматически.
char_int (, )
(сhar, integer) : (i, 0) (0, i) (i, i)
str_char (, )
(string, сhar) : (i, 0) (0, i) (i, i)
str_int (, )
(string, real) : (i, 0) (0, i)
и т. д.
Работа с командами операционной системы
Необходимым условием для работы с предикатами этой группы есть наличие подкаталога DOS, в котором бы был записан минимум command.com
system ()
(string) : (i) - передает команду OS
date (, , )
(integer, integer, integer) : (i, i, i) (0, 0, 0) - устанавливает, если (i, i, i), или возвращает, если (0, 0, 0) системную дату
time ... - то же
dir (, , )
(string, string, string) : (i, i, 0) - выдаются на экран специфицированные файлы из каталога по маршруту. Возможно выбрать из каталога имя одного файла с помощью стрелок управления курсором, при нажатии имя этого файла присваивается третьему аргументу предиката
Специальные предикаты языка Turbo Prolog
bouncl () - “истина, если переменная является конкретизированной
free () - “истина, если переменная не является конкретизированной
fail - всегда ложн. вызывает возврат для проверки базы в правилах
! - (cat) - предикат отсечения, ограничивает возврат
exit - останавливает выполнение пользовательской программы и передает управление меню Turbo Prolog
trace - общее включение режима отладки. Указывается в начале исходной программы
trace ()
(symbol) : (i) (0) - устанавливает, если i, или возвращает, если 0, текущий режим отладки. В качестве статуса можно использовать on/off. Использование этого предиката предполагает наличие trace в начале программы
diagnostics - позволяет выдать анализ программы в процессе компиляции. Анализ включает имена используемых предикатов. Для каждого имени определяется, являются ли аргументы конкретного предиката фактами или указывается конкретность предиката.
Рекомендуем скачать другие рефераты по теме: ответы 4 класс, готовые дипломные работы.
Категории:
Предыдущая страница реферата | 1 2 3 4 5 6 7 | Следующая страница реферата
Главная