reify1
A small utility that reifies logic programs
Usage
reify [OPTION] ...
Overview
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.
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 https://sourceforge.net/projects/potassco/files/guide/2.0/.
-
-h, --help -
Show summary of options.
-
-v, --version -
Show version of program.
Releases
Unchanged in 5 releases since Debian 9 (Stretch).