Встроенный предикат
Cтраница 2
Встроенными предикатами называются предикаты, определенные в самой системе ПРОЛОГ и предназначенные для обработки, размещения и управления данных, а также для организации взаимодействия пользователей с ПРОЛОГом. [16]
Такие встроенные предикаты рассмотрены более подробно в гл. [17]
Вводится новый встроенный предикат для проверки типа терма. Вызов string / 1 будет согласован, если его аргументом будет строка. [18]
Существуют дополнительные встроенные предикаты для форматирования вывода. Они вставляют пробелы в дополнительные строки в выходной поток. [19]
Вводятся встроенные предикаты обработки строк: strlength / 2 определить длину строки. [20]
Аналогичный набор встроенных предикатов имеется в других версиях языка Пролог. [21]
Пролог обладает встроенными предикатами, которые позволяют пользователю управлять сеансом взаимодействия с Пролог-системой. [22]
Аналогично можно использовать арифметические встроенные предикаты. Предполагается, что значения для X, У и Z берутся из некоторого числового домена. [23]
К рассматриваемому множеству встроенных предикатов относится также и введенный в гл. [24]
Добиться этого, использовав встроенный предикат, невозможно, но можно построить процедуру, которая создает значения переменной, удовлетворяющие отношению, проверив при этом заданные входные значения. [25]
В LDL имеется несколько встроенных предикатов и функций для обработки множеств. [26]
В настоящей главе будут рассмотрены встроенные предикаты, предоставляющие программисту возможности проводить некоторые мероприятия по управлению стратегией поиска в Прологе. Все они представляют собой процедурные средства, использование которых приводит к размыванию декларативной интерпретации программ. Однако через всю главу проводится важная мысль о том, что указанную тенденцию может сгладить богатый программистский опыт. [27]
В вашей Пролог-системе может быть встроенный предикат, который позволит получить эту информацию с компьютерных часов системы. [28]
 |
Соотношения между вызовами объектной программы и метапрофаммы. [29] |
На уровне 3 метапрограмма вызывает встроенный предикат bag / З, используя переменные Детали и Тест в качестве первых двух аргументов. [30]
Страницы: 1 2 3 4