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

atom(X)

atom(X)

Целевое утверждение atom(X) согласуется с базой данных, если текущее значение X является атомом в смысле языка Пролог. Как следствие возможен следующий диалог:

?- atom(23).

нет

?- atom(apples).

да

?- atom('/us/qris/pl. 123').

да

?- atom("этo строка").

нет

?- atom(X).

нет

?- atom(book(bronte,w_h,X)).

нет

Оглавление книги

Оглавление статьи/книги

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