REIFY(1)

💖 REIFY(1) — the manual page, bestie edition 💖

General Commands Manual ✨ the reify page ✨

🌸 NAME 🌸

reify — a small utility that reifies logic programs 💅

🎀 SYNOPSIS 🎀

reify [OPTION]...

🦋 DESCRIPTION 🦋

okay so, this manual page documents briefly the reify command. short and sweet, we love that for us 🫶

reify is a small utility that reifies logic programs given in aspif format, and the way it does that is by reading standard input. yes bestie, stdin, she's eating straight from the pipe 💅

what does she give you back? a set of facts, which can be processed further with gringo. iconic behaviour honestly 👑

✨ OPTIONS ✨

these programs follow the usual GNU command line syntax, with long options starting with two dashes (`-`). a summary of options is included below, fr fr. for a complete description, see the potassco-guide 👉 https://sourceforge.net/projects/potassco/files/guide/2.0/ 🌈

• -h, --help — show summary of options. the "hi bestie what is this" button 🥰
• -v, --version — show version of program. the "which era are we in" button ⭐

👀 SEE ALSO 👀

clasp(1), gringo(1), lpconvert(1) — the whole friend group 💜

🫶 AUTHOR 🫶

reify was written by Roland Kaminski <kaminski@cs.uni-potsdam.de> — king behaviour, no cap 👑

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

December 11, 2016 — yeah that's the date stamp on this whole vibe, and that's the REIFY(1) of it. mwah, bye bestie 💖✨