How to get our Prolog puzzle reasoning library.
The source code and installation instructions are available on github