Gringo

• clingo(1) a combination of clasp and gringo
• gringo(1) a grounder for non-ground logic programs
• iclingo(1) a combination of clasp and gringo
• lpconvert(1) converter between gringo's aspif and smodels format
• oclingo(1) a combination of clasp and gringo
• reify(1) a small utility that reifies logic programs