最简单的 Prolog Quine可以复制自己的子句，如下所示：
quine((quine(X) :- Y)) :-
clause(quine(X), Y).
?- quine(Z).
Z = (quine((quine(_22008):-_22004)):-clause(quine(_22008), _22004)).
是否有另一个 Prolog Quine 不使用子句/2、
写入/1、...，即动态数据库或输入/输出？
我们可以编写一个搜索这样一个 Quine 的 Prolog 程序吗？