Целевое утверждение atom(X) согласуется с базой данных, если текущее значение X является атомом в смысле языка Пролог. Как следствие возможен следующий диалог:
?- atom(23).
нет
?- atom(apples).
да
?- atom('/us/qris/pl. 123').
да
?- atom("этo строка").
нет
?- atom(X).
нет
?- atom(book(bronte,w_h,X)).
нет
|