Symbolic Reinforcement Learning using Inductive Logic Programming - View it on GitHub