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