This is the command gringo that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
NAME
gringo - a grounder for non-ground logic programs
SYNOPSIS
gringo [OPTION]... [FILE]...
DESCRIPTION
This manual page documents briefly the gringo command.
gringo is a grounder for non-ground answer set programs. Current answer set solvers work
on variable-free programs. Hence, a grounder is needed that, given an input program with
first-order variables, computes an equivalent ground (variable-free) program.
OPTIONS
These programs follow the usual GNU command line syntax, with long options starting with
two dashes (`-'). A summary of options is included below. For a complete description,
see the potassco-guide.
-h, --help
Show summary of options.
-v, --version
Show version of program.
Use gringo online using onworks.net services
