Cтраница 1
Встроенный предикат choice позволяет подавить множественные решения путем недетерминированного выбора одного решения. [1]
Встроенные предикаты перечислены для операций сравнения на рис. 4.1. Их имена подобно арифметическим операторам записываются между двумя операндами. Операндами должны быть арифметические выражения, и, если это не так, результатом вызова такого предиката будет ошибка Пролога. Предикаты сравнения вычисляют указанные выражения, после чего успешно согласуются, если их значения соответствуют объявленному отношению. [2]
Встроенный предикат functor обеспечивает иной способ построения структуры из ее функтора и компонентов. [3]
Встроенный предикат name предназначен для построения и декомпозиции атомов. [4]
Встроенный предикат tab используется для формирования выходных данных. [5]
Встроенные предикаты осуществляют запись и чтение термов или символов с помощью побочного эффекта. Программисту следует добиться уверенности в том, что при возврате не произойдет потери входной информации. [6]
Встроенные предикаты asserta и assert позволяют программисту добавлять новые утверждения в базу данных Пролога. [7]
Встроенные предикаты asserta и assert используются для внесения результатов в базу данных Пролога. При управлении базой данных порядок следования вносимых утверждений может быть существенным, поэтому выбор между предикатами asserta и assert должен быть четко обоснован. Вторая и третья области применения допускают использование любого из указанных предикатов. [8]
Встроенные предикаты retract и retractall используются для удаления результатов из базы данных Пролога. Вторая и третья области применения не допускают перманентного изменения базы данных Пролога. Это достигается четким разделением программы на два этапа: этап внесения данных и следующий за ним этап сбора результатов. Существенным является гарантия того, что при успешном завершении этапа внесения данных всегда будет выполнен и этап сбора результатов. [9]
Встроенные предикаты assert и asserta добавляют утверждения в базу данных Пролога, а предикаты retract и retractall удаляют из нее утверждения. Ввиду того что действия этих предикатов проявляются в виде побочных эффектов, они могут быть потенциально опасными, так как программа может сохранить внесенные в нее изменения после ее выполнения. [10]
Встроенные предикаты, предназначенные для этого расширения, отличаются в разных реализациях Пролога. [11]
Встроенный предикат read используется для чтения термов из текущего входного потока. [12]
Встроенный предикат write выводит терм. [13]
Встроенные предикаты обозначаются специальными предикатными символами, такими, как, , , , , , с предопределенным смыслом. Эти символы могут встречаться в правой части правила Дейталога, причем обычно в инфиксной нотации. [14]
Формально встроенные предикаты можно рассматривать как предикаты EDB, отличающиеся от обычных предикатов EDB другой физической реализацией: они не хранятся явно в EDB, а реализованы в виде процедур, которые вычисляются во время выполнения программы. Однако встроенным предикатам в большинстве случаев соответствуют бесконечные отношения, что может повлиять на небезопасность программ Дейталога. [15]