这是命令 clingo,可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行,例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序:
您的姓名
clingo - 扣子和外国佬的组合
概要
克林戈 [OPTION]……[文件] ...
商品描述
本手册页简要记录了 克林戈 命令。
克林戈 代表外国佬上的扣子,并以整体方式将两个系统结合在一起。 它的输入
语言是 gringo 的语言,其输出对应于 clasp 的输出。
配置
这些程序遵循通常的 GNU 命令行语法,长选项以
两个破折号 (`-')。 下面是选项的摘要。 如需完整说明,
请参阅potassco指南。
-H, - 帮帮我
显示选项摘要。
-v, - 版
显示程序版本。
使用 onworks.net 服务在线使用 clingo