SWI-Prolog の新しいリリース 8.3.19 では、新しい Picat スタイル ルール内に片面統合が導入されています。これは、どの Prolog システムにも歓迎される追加機能です。Quine アルゴリズムを書き換えることができるかどうか疑問に思っていました
Quine のアルゴリズムの Prolog 実装
https://\stackoverflow.com/q/63505466/502187
Picat スタイルのルールと、これが機能するかどうか。はいの場合、および Quine アルゴリズムの記述がより簡単になる場合、SWI-Prolog はおそらくこの追加によってコミュニティに大きな恩恵をもたらしました。
この挑戦に挑戦する人はいますか？SWI-Prolog 8.3.19 はすでに devel から入手できます。