---
name: "reify"
section: "1"
platform: "linux"
package: "gringo"
version: "5.6.2-2"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/reify"
---

# reify(1)

a small utility that reifies logic programs

## 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 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.

## SEE ALSO

[**clasp**(1)](/clasp/1.md), [**gringo**(1)](/gringo/1.md), [**lpconvert**(1)](/lpconvert/1.md)\

## AUTHOR

reify was written by Roland Kaminski \<kaminski@cs.uni-potsdam.de\>

This manual page was written by Thomas Krennwallner \<tkren@kr.tuwien.ac.at\>, for the Debian project (and may be used by others).