Learn Prolog Now! Proper and elegant exercise solutions - View it on GitHub