Книга: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ

X = Y

X = Y

Предикат проверки на равенство, описанный в разд. 6.8, считается согласованным и в случае, когда его аргументами являются равные целые числа.

Содержание
Оглавление статьи/книги

Генерация: 0.046. Запросов К БД/Cache: 0 / 1
поделиться
Вверх Вниз