Имена предикатов

Имя предиката должно начинаться с буквы, за которой может следовать

последовательность букв, цифр и символов подчеркивания. Регистр букв не

имеет значения, однако мы не советуем вам использовать заглавные буквы в

качестве первой буквы имени предиката. (Другие версии Пролога не разреша-

ют, чтобы имя предиката начиналось с заглавной буквы, и будущие версии

Турбо Пролога, возможно, тоже будут запрещать это.) Имя предиката может

иметь длину до 250 символов.

В именах предикатов вы не можете использовать пробел, символ минус,

звездочку, прямую (и обратную) черту. Корректные имена Турбо Пролога мо-

гут включать следующие символы:

Заглавные буквы : A,B,...,Z

Строчные буквы : a,b,...,z

Цифры : 0,1,...,9

Символ подчеркивания: _

Имена предикатов и аргументов могут состоять из любых комбинаций

этих символов, при условии, конечно, что вы подчиняетесь правилам постро-

ения соответствующих имен.

-----------------------------------------------------------------

Корректные имена предикатов Некорректные имена предикатов

-----------------------------------------------------------------

fact [fact]

is_a *is_a*

has_a has/a

patternCheckList pattern-Check-List

choose_Menn_Item choose Menn Item

predicateName predicate<Name>

first_in_10 >first_in_10

-----------------------------------------------------------------