定义一个关系xyz（X），如果X是一个xyz序列，则该关系为true。xyz序列是由数字0或数字1后跟两个其他xyz序列组成的序列。
一些xyz序列：
xyz([0]).
xyz([1,0,1,0,0]).
并且，以下内容不视为xyz序列：
xyz([1,1,0,0]).
xyz([0,1,0]).
xyz([1,1,0]).
xyz([1,0,1,1,1,1,1,0,1]).
有人可以帮助我解决该问题吗？
最简单的是编写DCG。有关详细介绍，请参见本教程。您可以逐字写下问题陈述以获得解决方案：
xyz --> [0].
xyz --> [1], xyz, xyz.
您将需要phrase：
?- phrase(xyz, [1,0,1,0,0]).
该解决方案留下了一个选择点。
本文收集自互联网，转载请注明来源。
如有侵权，请联系 [email protected] 删除。
我来说两句