How to install Prover9

In the introductory natural language processing, I was a little confused about how to install Prover9, which is the theorem proving device used in nltk, so make a note of it.

First of all, DL

$ wget http://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz

And defrost

$ tar xvzf LADR-2009-11A.tar.gz 

Change the name a little

$ mv LADR-2009-11A prover9

$ cd prover9/

Installation

$ make all

I'm asked to enter this, so I'm gonna go

$ make test1

$ make test2

$ make test3

Finally, make a symbolic link and complete

$ sudo ln -s /home/vagrant/prover9/bin/prover9 /usr/local/bin/

I was able to use it with nltk safely.

sample.py


# -*- coding: utf-8 -*-
#from __future__ import division
import nltk,re

lp = nltk.LogicParser()
SnF = lp.parse('SnF')
NotFnS = lp.parse('-FnS')
R = lp.parse('SnF -> -FnS')
prover=nltk.Prover9()
print prover.prove(NotFnS,[SnF,R])

Recommended Posts

How to install Prover9
How to install Python
How to install pip
How to install archlinux
How to install BayesOpt
How to install Nbextensions
How to install Python [Windows]
Tabpy 1.0 (2020-01 version) How to install
How to install Pelican blog
How to install python using anaconda
How to install mysql-connector-python on mac
How to install and use Tesseract-OCR
How to install python-pip with ubuntu20.04LTS
How to install graph-tool on macOS
How to install wkhtmltopdf (Amazon Linux2)
How to install VMware-Tools on Linux
How to install pycrypto on Windows
How to install OpenCV on Mac
How to install MBDyn (Linux Ubuntu)
How to install PyPy on CentOS
How to install TensorFlow on CentOS 7
How to install and configure blackbird
How to install CUDA and nvidia-driver
How to install and use Graphviz
How to install mysql-connector with pip3
How to install Maven on CentOS
How to install Go on Ubuntu
How to install music 21 on windows
How to install Anaconda with pyenv
How to install aws-session-manager-plugin on Manajro Linux
How to install drobertadams / toggl-cli on Mac
How to install and use pandas_datareader [Python]
python3 How to install an external module
[Kivy] How to install Kivy on Windows [Python]
How to install CatBoost [as of January 2020]
How to install DLIB with 2020 / CUDA enabled
How to install a package using a repository
How to install packages on Alpine Linux
How to install Anisble on Amazon Linux 2
How to install richzhang / colorization on Windows 10
How to install php7.4 on Linux (Ubuntu)
How to install Eclipse GlassFish 5.1.0 on CentOS 7
How to install Apache (httpd) on CentOS8
How to install zsh (with .zshrc customization)
How to install NumPy on Raspberry Pi
How to install fabric and basic usage
How to install cx_Oracle on macOS Sierra
How to install python3 with docker centos
How to use xml.etree.ElementTree
How to use Python-shell
How to use tf.data
How to use virtualenv
Scraping 2 How to scrape
How to use Seaboan
How to use image-match
How to use shogun
[2020 version] How to install Python3 on AWS EC2
How to read PyPI
How to use Virtualenv
How to use numpy.vectorize
How to update easy_install