Edinburgh-Prolog This repository consists of exercises and tutorials based on Edinburgh Logic Programming 2015-2016 course. Useful Resources Propositional Logic Reference and Textbook Learn Prolog Now by Blackburn etc The Art of Prolog by Sterling etc