2015-03-22
822
Значения типов float и integer являются частным случаем значения типа symbol. Другими словами, они удовлетворяют всем ограничениям, налагаемым на значение типа symbol.
Ниже приведены несколько примеров значений типа symbol:
Пример 4.2. Допустимые значения типа symbol
foo Hello B76-HI bad_value
127A 456-93-039 @+=-% 2each
Значение типа, string представляет собой строку символов, заключенную в двойные кавычки. Символ двойных кавычек также может быть включен в строку. Для этого перед символом " необходимо поставить символ обратной косой черты (\). Для включения в строку символа обратной косой черты необходимо использовать два последовательных символа \. Примеры допустимых значений string приведены ниже:
Пример 4.3. Допустимые значения типа string
"foo" "a and b" "1 number" "a\”quote"
Замечание
Значение "abcd" типа string не эквивалентно значению abcd типа symbol. Несмотря на то, что они состоят из идентичных символов, они относятся к разным типам.
Значение типа external-address представляет собой адрес структуры данных, возвращенной внешней функцией (например, написанной на языке С или Ada), интегрированной с программой CLIPS. Значение этого типа может быть создано только посредством вызова внешней функции. Использование внешних функций выходит за рамки данной книги, поэтому вы не найдете примеров создания и использования этого типа. В CLIPS значения данного типа отображаются следующим образом:
|
|
|
Пример 4.4. Значение типа external-address
<Pointer-XXXXXX>
где XXXXXX — число, представляющее внешний адрес.
Подробную информацию о типе external-address можно найти в книге "CLIPS Reference Manual, Volume II, Advanced Programming Guide".
Факт в CLIPS представляет собой список атомарных значений примитивных типов, ссылаться на которые можно либо используя порядок определения этих значений, в случае упорядоченных фактов, либо по имени, в случае неупорядоченных фактов или шаблонов. Подробней понятие факта будет описано в гл. 5. Оперировать с фактом можно, используя его адрес (см. разд. 4.2.1). Адрес факта представляет собой значение типа fact-address.
