我找到了从链接 config_prover9 设置 prover9 路径的方法中为 prover9设置路径的解决方案 是否也有类似的方法来处理 macecommand？我的代码如下
a4 = read_expr('exists y. (woman(y) & all x. (man(x) ->love(x,y)))')
a5 = read_expr('man(adam)')
a6 = read_expr('woman(eve)')
g = read_expr('love(adam,eve)')
mc = nltk.MaceCommand(g, assumptions=[a4, a5, a6])
mc.build_model()
有没有办法设置它来找到我安装 Macecommand 的目录？提前致谢。