General Inductive Logic Programming System - View it on GitHub