GASP is a lazy grounding based interpreter for ASP.

Link to Website