Я использую SWI-Prolog.
Как я могу предотвратить отображение
X = jack and X = annie
и распечатать только то, что внутри writef()
?
Запрос:
a(F) :-
b(F),
writef("%t is okay...",[F]).
Пример:
a(X).
Вывод:
jack is okay...
X = jack,
annie is okay...
X = annie.