这是可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行的命令 gringo,例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序:
您的姓名
gringo - 非接地逻辑程序的接地器
概要
外国佬 [OPTION]……[文件] ...
商品描述
本手册页简要记录了 外国佬 命令。
外国佬 是非地面答案集程序的基础。 当前答案集求解器有效
在无变量程序上。 因此,需要一个接地器,给定一个输入程序
一阶变量,计算等效的地面(无变量)程序。
配置
这些程序遵循通常的 GNU 命令行语法,长选项以
两个破折号 (`-')。 下面是选项的摘要。 如需完整说明,
请参阅potassco指南。
-H, - 帮帮我
显示选项摘要。
-v, - 版
显示程序版本。
使用 onworks.net 服务在线使用外国佬