Advances in gringo Series 3

摘要

We describe the major new features emerging from a significant re design of the grounder gringo, building upon a grounding algorithm based on semi-naive database evaluation. Unlike previous versions, rules only need to be safe rather than domain-restricted.