Non Ground Optimizer for logic programs. - View it on GitHub