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.
 
                                             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
     
         
                 
                 
                 
                 
                 
                 
                 
                 
                 
                 
                 
                 
                 
                 
                 
                 
                