这是命令 reify，可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
reify - 一个将逻辑程序具体化的小工具
概要
物化 [OPTION] ...
商品描述
本手册页简要记录了 物化 命令。
物化 是一个小型实用程序，用于具体化逻辑程序，在 smodels 的标准输入上给出
格式。 默认情况下，外国佬接地器生成 smodels 格式。 reify 的结果是
在标准输出上给出的一组事实，可以用 gringo 进一步处理。
配置
这些程序遵循通常的 GNU 命令行语法，长选项以
两个破折号 (`-')。 下面是选项的摘要。 如需完整说明，
请参阅potassco指南。
-H， - 帮帮我
显示选项摘要。
-v， - 版
显示程序版本。
使用 onworks.net 服务在线使用 reify
