[Problem and Solution] NLTK was unable to find the prover9 file!

Source: Internet
Author: User
Tags nltk

In fact, this problem is very simple. There are three possibilities:

1. Prover9 is not installed. You can download from this link: http://www.cs.unm.edu /~ Mccune/mace4/download/LADR1007B-win.zip (for Windows), if your operating system is another, then there is a corresponding version, you can go to the official website to download.

In this case, improper configuration may cause the failure to find Prover9.

According to the Python prompt, "PROVER9HOME environment variable" requires you to set a system variable for the program to continue. Of course, you can also use the built-in setting function of Python. This section only describes the methods of system variables.

According to its prompt, we need to add such a variable, PROVER9HOME. This can also be seen from the source code.

Path =])

Here I will talk about the path of my Prover9 file: D: \ SpecialSoftware \ prover9 \ bin (note that the variable value should be written to bin, some solutions on the Internet say that they are only written to prover9. This is vague and incorrect. Otherwise, it will still cause undefined results)

3. If the environment variable is still not found after it is set, close the Python edit window, open it again, and try again. At this time, there should be no problem.

 

If none of the above solutions works, check whether the path of your environment variable is set incorrectly. We recommend that you enter a command in the Python window to check:

>>>>>> OS. environ [

 

Contact Us

The content source of this page is from Internet, which doesn't represent Alibaba Cloud's opinion; products and services mentioned on that page don't have any relationship with Alibaba Cloud. If the content of the page makes you feel confusing, please write us an email, we will handle the problem within 5 days after receiving your email.

If you find any instances of plagiarism from the community, please send an email to: info-contact@alibabacloud.com and provide relevant evidence. A staff member will contact you within 5 working days.

A Free Trial That Lets You Build Big!

Start building with 50+ products and up to 12 months usage for Elastic Compute Service

  • Sales Support

    1 on 1 presale consultation

  • After-Sales Support

    24/7 Technical Support 6 Free Tickets per Quarter Faster Response

  • Alibaba Cloud offers highly flexible support services tailored to meet your exact needs.