问题描述
SWI-Prolog 的新版本 8.3.19 引入了单边统一 在新的 Picat 样式规则中。这可能是任何受欢迎的补充 序言系统。我想知道我们是否可以重写 Quine 算法
Quine 算法的 Prolog 实现
https://\stackoverflow.com/q/63505466/502187
Picat 样式规则以及这是否可行？如果是，如果 Quine 算法的编写变得更简单，那么 SWI-Prolog 可能 这个添加对社区有很大帮助。
有人接受这个挑战吗？ SWI-Prolog 8.3.19 已经从 devel 提供。
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）