3
エクステンデッドDCGテストケースを探しています。なく、その脱糖 能力の点で得 変換ルールの挙動の点でDCG プロセッサの正しい機能をチェック テストケースを意味します。エクステンションDCGテストケース
私はネット上で一度このようないくつかのテストケースを見ましたと思います。 しかし、私はそれらのトラックを失った。 （同じここで：http://www.sju.edu/~jhodgson/wg17/dcgs.pdf）
http://www.sju.edu/~jhodgson/wg17/Drafts/DCGs/test_cases
：
をしかし、彼らは、彼らは脱糖、変換は、 を成功または与えますかどうかをテストすなわち 、唯一perphericallyと内包されている今、私は、次の テストケースを見つけますエラー。私は だからこそ、拡張DCGテストケースを探しているので、変換が何であるかを示すことさえできません。
任意のポインタを歓迎します。
さようなら
PS： は、この1つは、変換を示し、それはまだ内包 なく伸びている。
http://www.sju.edu/~jhodgson/wg17/GRIND.TXT
そして、それは、たとえばあります
expand((a(4)-->[98]),
(a(4, S0, S1):- 'C'(S0,98, S1))).
expand((a(28)--> \+b,c),
(a(28,_608,_609):-(b(_608,_619)->fail;_617=_608),c(_617,_609))).
しかし、多くのPrologシステムDCGでは、端末には別のアプローチ、 否定などを使用します。したがって、拡張テストスイートは がより便利になります。