A supplementary repository for the course on logic and relational programming
Latest commits.
Builders behind this project.
