关于Python里RE的一个问题。

唔,因为课程的原因,所以我要用python写一个prolog的解释器

prolog有一个叫做谓词,类似函数的东西。
例如love(husband,wife)
格式就是name(obj1,obj2……)

这个是解析谓词的RE
pat_clause = re.compile('^(\w+)\((\w+,)*(\w+)\)$')

prolog的推理还有一个内容是rule:
格式是love(husband,Who):-wife(Who),not_dating(husband,boyfriend).
":-"就是If的意思,逗号表示且,|表示或,句号表示结束
我想大概不用再解释了吧

问题是:如何用前面的pat_clasue拼接成pat_rule?

推荐  (0) | 0人关注关注

相关问答

关于我们 加入果壳 媒体报道 帮助中心 果壳活动 家长监控 免责声明 联系我们 移动版 移动应用

©果壳网    京ICP证100430号    京网文[2018] 6282-492号    新出发京零字东150005号     京公网安备11010502007133号

违法和不良信息举报邮箱:jubao@guokr.com    举报电话:18612934101    网上有害信息举报专区    儿童色情信息举报专区