Installing Python packages
Before we start logic programming in Python, we need to install a couple of packages. The package logpy
is a Python package that enables logic programming in Python. We will also be using SymPy for some of the problems. So let's go ahead and install logpy
and sympy
using pip
:
$ pip3 install logpy $ pip3 install sympy
If you get an error during the installation process for logpy,
you can install from source at
https://github.com/logpy/logpy
. Once you have successfully installed these packages, you can proceed to the next section.