My solutions to Tate's Seven Languages in Seven Weeks Prolog chapter - View it on GitHub