Я нашел решение для установки пути для prover9 по ссылке config_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?Заранее спасибо.