Package: gringo

"gringo" package binaries on Debian:

/usr/bin/clingo /usr/bin/gringo /usr/bin/iclingo /usr/bin/oclingo

You may install this package on Debian with apt-get install gringo