Repository containing predicate logic problems solved using Prolog - View it on GitHub