reify - a small utility that reifies logic programs
reify [
OPTION]...
This manual page documents briefly the
reify command.
reify is a small utility that reifies logic programs given in aspif
format by reading standard input. It produces a set of facts, which can be
processed further with gringo.
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
https://sourceforge.net/projects/potassco/files/guide/2.0/.
- -h, --help
- Show summary of options.
- -v, --version
- Show version of program.
clasp(1),
gringo(1),
lpconvert(1)
reify was written by Roland Kaminski <
[email protected]>
This manual page was written by Thomas Krennwallner
<
[email protected]>, for the Debian project (and may be used by
others).