ArgumentRegistry
Clingo implementation
Replace the lazy option in GrounderSolver by a optional adapter and filter
update examples