Prolog符号序列

我有这样的问题，如何为任意输入的符号序列确定它是否包含与单词中相同序列的单词的所有符号。例如：一系列的“发展”包含符号“不”。我不知道如何在Prolog中实现这一点，只需“访问”两个列表，直到第二个列表结束，任务就成功了

递归访问将检查两个头部： 如果匹配->放弃两者，否则放弃左侧列表“一”

Prolog中的匹配可以通过相等的方式完成，即：

recursive([H|T1], [H|T2]) :- !, ...

由于cut删除了备选方案，因此我们只能放弃不匹配

recursive([_|T], L) :- recursive(T, L).

---

你已经试过什么了？在第一个谓词中插入是个好主意吗？这会不会导致

开发

与

私奔

不匹配？@mbrach:我想你是对的。。。我试图在不解决家庭作业的情况下提供帮助，而且（我真傻！）宁愿避免…->。。。构造。我想这只是一个疏忽，我知道你的意思。：）