問題タブ [picat]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
grammar - Picat で定句文法を使用する
Picat で定句文法を定義できることは知っていますが、構文は Prolog よりもはるかに冗長です。Prolog では、定節文法をより簡潔に書くことができます。
驚いたことに、Picat の公式チュートリアルでは、定節文法の構文について言及していません。Prolog の DCG 表記を Picat で使用することはできますか?
prolog - Prolog の片面統合を使用したクワインのアルゴリズム
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 から入手できます。