为nltk的macecommand设置路径

Question

我找到了一种解决方案，可以从链接中为prover9设置路径 config_prover9 method for setting prover9 path 是否也有类似的方法来处理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的安装目录？预先感谢。

Answer 1

我找到了解决方案，我只需要为其设置环境变量。