oclingo(1) on Linux
The text e7c77ebbb6a7, as Debian 8 (Jessie) shipped it.
a combination of clasp and gringo
Flags it lists
-
--help -
--version -
-h -
-v