Music theory library for Prolog - View it on GitHub