python - 在 Python 中与 Clips 规则引擎进行通信

Question

我想与 Python 3.8.3 中的 Clips 规则引擎进行多次交流。

比如我想进行如下的沟通

1. 启动剪辑

    C:\Users\username\Clips>"C:\Program Files\CLIPS 6.31\CLIPSDOS64.exe"
             CLIPS (6.31 6/12/19)

2. 定义规则

    (defrule ValueManipulation
      (value ?v)
    =>
      (assert (result ?v))
    )

3. 使用第一个事实集进行查询并从标准输出读取结果

    (deffacts f1 "My facts" (value 1))
    (reset)
    (run)
    (facts)

4. 使用第二个事实集查询并从标准输出读取结果

    (deffacts f1 "My facts" (value 2))
    (reset)
    (run)
    (facts)

5. 出口

    (exit)

我已经设法输入一次标准输入并从标准输出读取一次：

import subprocess

clips_commands = """
(defrule ValueManipulation
  (value ?v)
=>
  (assert (result ?v))
)
(deffacts f1 "My facts" (value 1))
(reset)
(run)
(facts)
(exit)
"""
p = subprocess.Popen('"C:\Program Files\CLIPS 6.31\CLIPSDOS64.exe"', 
                     stdin=subprocess.PIPE, stdout=subprocess.PIPE)
result = p.communicate(input=bytes(clips_commands,'utf-8'))

for line in str(result[0]).split('\\r\\n'):
    print(line)

但是，我想要几次以下类型的查询并从 stdout 读取输出

    (deffacts f1 "My facts" (value 3))
    (reset)
    (run)
    (facts)

在上面的示例中，使用类似pyclipsorclipspy的包不是首选，因为这些包不适用于pip install. 但是，重新打包其中一个包可以解决这个问题。

标签： pythonclipsclipspy

Answer 1

感谢@noxdafox，我能够使用clipspy库！

下面是演示重用剪辑规则的测试代码：

import clips

env = clips.Environment()

rule = """
(defrule ValueManipulation
  (value ?v)
=>
  (assert (result ?v))
)
"""
env.build(rule)

print('Add fact 1:')
env.assert_string("(value 1)")
for fact in env.facts():
    print(fact)
env.run()
print('\nResult for fact 1:')
for fact in env.facts():
    print(fact)

print('\nFacts after reset:')
env.reset()
for fact in env.facts():
    print(fact)
env.assert_string("(value 2)")

print('\nResult for fact 2:')
env.run()
for fact in env.facts():
    print(fact)

print('\nResult for fact 3:')
env.reset()
env.assert_string("(value 3)")
env.run()
for fact in env.facts():
    print(fact)

上面的代码产生以下结果：

Add fact 1:
(initial-fact)
(value 1)

Result for fact 1:
(initial-fact)
(value 1)
(result 1)

Facts after reset:
(initial-fact)

Result for fact 2:
(initial-fact)
(value 2)
(result 2)

Result for fact 3:
(initial-fact)
(value 3)
(result 3)