clingo and gringo
Tools for Answer Set Programming developed at the University of Potsdam.