如何修改Prolog查询默认输出

Question

我正在使用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.