这是可以使用我们的多个免费在线工作站之一（例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器）在 OnWorks 免费托管服务提供商中运行的命令 coala
程序：
您的姓名
coala - 从动作语言到答案集程序的多功能编译器
概要
考拉 [选项]文件[数字]
商品描述
本手册页简要记录了 考拉 命令。
考拉 是一个从动作语言到答案集程序的多功能编译器。 它支持
不同的编码、变量和 LTL 样式查询。 它翻译了一种动作语言
进入答案集语义下的逻辑程序。 被接地后 解析 or
外国佬，逻辑程序可以通过答案集求解器来求解，例如 钩。 在
时刻 考拉 能够翻译动作语言 AL、B、C、C+ 的子集和
动作语言 CTAID。 输入语言的类型可以通过命令行指定
选项。
配置
这些程序遵循通常的 GNU 命令行语法，长选项以
两个破折号 (`-')。 下面是选项的摘要。 如需完整说明，
请参阅potassco指南。
-H， - 帮帮我
显示选项摘要。
- 版
显示程序版本。
使用 onworks.net 服务在线使用coala
