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 it from source at https://github.com/logpy/logpy. Once you have successfully installed these packages, you can proceed to the next section.