0

刚开始在 Python 3.8.3 中使用 clipspy-0.3.3。

.facts()在提取事实时，在枚举器中遇到了不一致。

下面的代码

import clips

env = clips.Environment()

env.assert_string("(value 1)")
env.assert_string("(value 2)")
env.assert_string("(value 3)")
env.assert_string("(value 4)")
env.assert_string("(value 5)")
env.assert_string("(value 6)")
env.assert_string("(value 7)")
env.assert_string("(value 8)")
env.assert_string("(value 9)")
env.assert_string("(value 10)")

for fact in env.facts():
    print(fact)

产生结果

(initial-fact)
(value 1)
(value 2)
(value 3)
(value 4)
(value 5)
(value 6)
(value 7)
(value 8)
(value 9)
f-10    (value 10)

从中可以看出其中的不一致

  • 数字小于 10 的事实，前面f-1 的从事实字符串中删除，并且，
  • 数字等于或大于 10 的事实，f-10 则不会从事实字符串中删除前面的事实。

即使上面的不一致可以用正则表达式替换来解决，如下

import re

for fact in env.facts():
    print(re.sub(r'^[^(]*',r'',str(fact)))

.facts()如果包中的枚举器始终如一地返回事实的字符串表示形式，那就太好了clispy。

4

1 回答 1

1

这看起来像一个错误clipspy，我建议您在其存储库上打开一个问题。

于 2020-09-23T10:47:23.383 回答