Первая группа команд предназначена для выдачи информации о цели в различных форматах. Как мы уже знаем, стандартным средством выдачи сведений о цели является предикат print, в рамках которого с помощью определяемого пользователем предиката portray можно выводить нужные сведения в нужном формате. Однако у пользователя могут возникнуть сомнения в правильности утверждений, определяющих portray, или он может пожелать увидеть цель в обычной форме. Поэтому Пролог предоставляет команду, дающую вам возможность вывести сведения о текущей цело с помощью предиката write или display. В этом случае программа не продолжает выполняться, а пользователя просят задать еще одну команду, которая укажет как следует продолжать выполнение программы. Как правило, этот диалог имеет следующий вид:
?- присоединить([a],[b],X).
CALL присоединить([а],[b],‹fоо›)? write
CALL присоединить([а],[b],_103)?
Обычно в качестве альтернативного способа вывода сведений о цели используют write. Предикат display может понадобиться в том случае, когда цель содержит много операторов, и вы забыли приоритеты их выполнения. В этом случае display поможет вам однозначно определить вложенность функторов.
|
Главная
Каталог файлов
