The repository contains programs implementing algorithms from my textbook Mathematical Logic for Computer Science, Springer, 2012, ISBN 978-1-4471-4128-0. The programs are written in Prolog and were ...

You can create a release to package software, along with release notes and links to binary files, for other people to use. Learn more about releases in our docs.