Course materials for a Prolog course - View it on GitHub