This is the command reify 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
reify - a small utility that reifies logic programs
SYNOPSIS
reify [OPTION]...
DESCRIPTION
This manual page documents briefly the reify command.
reify is a small utility that reifies logic programs, given on standard input in smodels
format. The gringo grounder produces smodels format by default. The result of reify is a
set of facts given on standard output that can be processed further with gringo.
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 reify online using onworks.net services