Читайте также:
|
Переменная языка ПРОЛОГ - последовательность букв, цифр и знака "подчеркивание", обязательно начинающаяся с прописной буквы.
Конкретизация переменной - связывание переменной языка ПРОЛОГ с конкретным значением.
Конкретизация переменной обеспечивает возврат искомых значений переменных по запросам.
Атом
Атом - это отдельный объект, считающийся элементарным. В Прологе атом представляется последовательностью букв нижнего и верхнего регистра, цифр и символа подчеркивания '_', начинающейся со строчной буквы. Кроме того, любой набор допустимых символов, заключенный в апострофы, также является атомом. Наконец, комбинации специальных символов + - * = < >: & также являются атомами (следует отметить, что набор этих символов может отличаться в различных версиях Пролога).
Пример
Представленные далее последовательности являются корректными атомами:
b, abcXYZ, x_123, efg_hij, коля, слесарь,
'Это также атом Пролога',
+,::, <---->, ***
Структура, функтор, компоненты
Структура. Имеет следующий вид:
функтор (компонента1, компонента2,...)
функтор является предикатным именем и используется для обозначения предметного отношения (законченная информация о предметной сущности). Компоненты - атрибуты этого предметного отношения.
stud(petrov,173,54).
Дата добавления: 2015-07-19; просмотров: 68 | Нарушение авторских прав
| <== предыдущая страница | | | следующая страница ==> |
| Сопоставление в логическом программировании | | | Процедура вывода решения, как процедура доказательства теоремы |