Notes and code for the tutorial
You can install Picat like this (check if there's a newer version of Picat):
cd ~
wget http://picat-lang.org/download/picat328_linux64.tar.gz
tar -xf picat328_linux64.tar.gz
Then add the executable to $PATH
(assuming we use bash):
echo 'export PATH="$HOME/Picat:$PATH"' >> ~/.bashrc
source ~/.bashrc
Then the command picat
runs the Picat interpreter.
If you want to execute the notebooks, install Jupyter Notebook with ipicat extension (if you want to install them locally, add --user
):
pip install jupyter
pip install ipicat
Then run jupyter notebook
. Once the extension is loaded you can use %%picat
cell magic or execute picat files: %picat -e hello-world.pi
.