通过部分匹配收回？
通过部分匹配收回？
提问于 2020-12-06 12:26:32
有没有办法通过部分匹配来收回子句。假设我有以下语法：
s3-->[a, b, r, a].
s4-->[a, b].
s5-->s4, s4.如何删除以's‘开头的所有子句？
exists(Prefix, Max, X) :- between(1,Max,I), atom_concat(Prefix,I,X),current_predicate(X/2).
exists(X) :- exists('s', 10, X).
clean :- findall(X,(exists(X), abolish(X/2)), R).回答 1
Stack Overflow用户
回答已采纳
发布于 2020-12-08 12:59:05
Sten，您正在寻找谓词，以便通过具有名称约束的所有谓词进行回溯。在swi_prolog中，它是current_predicate家族。
look_for_s_predicates :-
current_predicate(PredicateName, P),
atom_chars(PredicateName, [s|_]),
\+ predicate_property(P, built_in), /*ignore built-ins*/
write(PredicateName), nl, fail.
look_for_s_predicates. 编辑:在current_predicate中添加P，允许忽略以's‘开头的内置谓词。
在上面的示例中，我将谓词限制为以s开头的谓词。
s1(a,b,c) :- test(a,b).
s2(a,b,c).
test(a,b).查找_s_谓词/0将列出s1和s2。如果你愿意，现在你可以收回它们。
我回答你的问题了吗？
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/65172748
复制相关文章
![[UWP]创建一个进度按钮](https://ask.qcloudimg.com/http-save/yehe-3964600/xh46rlng84.gif)
![Android应用程序中的多个Activity的显示创建和调用[通俗易懂]](https://ask.qcloudimg.com/http-save/yehe-8223537/859ed81ddd5f984776c4fbf4838b9740.png)
点击加载更多
相似问题
为android应用程序创建类似snapchat的按钮
Android应用程序:创建静音按钮
为android应用程序创建缓存
为android应用程序创建webservice
为网站创建Android应用程序
添加站长 进交流群
领取专属 10元无门槛券
AI混元助手 在线答疑
关注 腾讯云开发者公众号
洞察 腾讯核心技术
剖析业界实践案例
腾讯云开发者
