Макро-вызов значения
- происходит автоматически всегда, когда «Экскалибур» читает сообщение в фигурных скобках, т.е. сообщение, которое описывает способ получения сообщения. В этом случае фигурные скобки отбрасываются и Сообщение читается:
Пусть А = « (+ 1 2 3)», запишем это для «Экскалибур»
(SetQ A (+ 1 2 3) )
{ * 3 A} --> 18

Отличие предикатного вызова от функционального
- предикатный вызов проверяет наличие сообщения в БЗ, и в случае отрицательного ответа (отсутствия), формирует Познавательный Контекст (дополняет список внутренних вопросов системы). Функциональный вызов извлекает из Контекста ? вероятностное значение
(Цвет слон серый) --> True

неполный предикатный вызов значения

(Цвет слон) --> серый
(= 2 2) --> True
неполный функциональный вызов значения

(= 2) --> 2
(> 2) --> 1 Прим.: возвращается «ближайший» однотипный объект, удовлетворяющий отношению.

(Имеет слон) --> (хобот (большой (вес размер)))

Сообщение-факт, задается выражением в квадратных скобках:
[имеет дом окно]
Можно задавать несколько фактов, при условии, что каждый начинается на новой строке:
[имеет дом окно
Имеет дом дверь
Цвет дом красный]
Значением сообщения, задающего факт, является само это сообщение, взятое в круглые скобки. Поэтому Сообщение-факт можно использовать внутри других сообщений:
(Set X [+ A B] )
Управление глубиной связей, задает количество уровней наследования свойств в БЗ (не меняет структуры в БЗ и может назначаться оперативно). Пример:
(Chain 16):

Специальные префиксы Слова-символа, управляют режимом получения значения Слова-символа:
Префикс “_”
_Слово-Символ - запрещает вычисление значения Слова-символа.
Все прописные буквы Слова-символа так же запрещают его вычисление. Например:
Если (Set A 10), то (?_A) --> “A” a --> “a” (? A) --> 10
“а” - это слово из одного символа, а “А”- это его возвращаемое значение ? так.
Еще пару примеров для усвоения или удалить a --> “a из приведенного примера, так как сбивает.
Префикс “ * “ сообщает о необходимости придать, присвоить полученное значение этому слову. Пример: (+ A *B) - результат вычисления суммы присвоить В: В=А+В
Пример: (+ A *B *C) - присвоить результат вычисления суммы слову В и слову C.
Это равносильно алгебраической записи: B = A + B + C и C = A + B + C