无法打开prover9/Mace4 [英] Unable to open up prover9/Mace4

问题描述

NLTK无法找到mace4文件！ 使用软件特定的配置参数或设置PROVER9环境变量.

NLTK was unable to find the mace4 file! Use software specific configuration paramaters or set the PROVER9 environment variable.

在以下位置搜索: -/usr/local/bin/prover9 -/usr/local/bin/prover9/bin -/usr/local/bin -/usr/bin -/usr/local/prover9 -/usr/local/share/prover9

Searched in: - /usr/local/bin/prover9 - /usr/local/bin/prover9/bin - /usr/local/bin - /usr/bin - /usr/local/prover9 - /usr/local/share/prover9

================================================ ==========================

===========================================================================

推荐答案

对nltk.Prover9对象使用方法 config_prover9 ，以提供已安装的Prover9软件的路径

use method config_prover9 for a nltk.Prover9 object to provide the path to the installed Prover9 software

read_expr = nltk.sem.Expression.fromstring
SnF = read_expr('SnF')
NotFnS = read_expr('-FnS')
R = read_expr('SnF -> -FnS')

prover = nltk.Prover9()
prover.config_prover9(r'd:/prover9/bin')
prover.prove(NotFnS, [SnF, R])

我的 prover9.exe 位于 d:\ prover9 \ bin (Windows 7系统)上.在* ux系统上使用类似的内容.

my prover9.exe is located on d:\prover9\bin (windows 7 system). use something similar for *ux systems.

这篇关于无法打开prover9/Mace4的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！