Logic-programming

This repository holds exam papers and solutions as well as extra exercises for the course Logic Programming at the UG.

Valuable resources

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
Exams		Exams
Peano-arithmetic		Peano-arithmetic
LICENSE		LICENSE
README.md		README.md