这是命令 cafeobj 可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
cafeobj - 代数规范和编程语言
概要
咖啡馆对象 [OPTION]……[FILES] ...
商品描述
启动 咖啡馆OBJ 口译员。
咖啡馆OBJ 是一种最先进的形式规范语言，它继承了许多先进的
功能（例如灵活的混合修复语法，具有有序功能的强大而清晰的打字系统
用于实例化参数的排序、参数模块和视图，以及模块
表达式等）来自 OBJ（或更确切地说是 OBJ3）代数规范语言。
CafeOBJ 是一种用于编写模型的正式（即数学）规范的语言
种类繁多的软件和系统，并验证它们的属性。 咖啡馆OBJ
通过重写实现方程逻辑，可以用作强大的交互定理
证明系统。 指定者也可以在 CafeOBJ 中写证明分数并通过
执行证明分数。
CafeOBJ 具有基于机构的最先进的严格逻辑语义。 咖啡馆OBJ
立方体显示了各种逻辑组合的底层结构
语言实现的范式。 CafeOBJ 中的证明分数也基于
基于制度的严格语义，可以使用一套完整的证明来构建
规则。
配置
有两类选项。 第一个是选项 咖啡馆对象 包装脚本
允许选择底层的 Common Lisp 解释器，并调整搜索路径
参数。
-发动机 您的姓名
选择底层公共 lisp 引擎。 如果未给出，则选择第一个
在构建期间使用。
-列表引擎
列出所有可用的常用 lisp 引擎
-wrapper-libpath PATH
设置找到 lisp 解释器的内存转储的路径
-包装共享路径 PATH
设置查找CafeOBJ初始化文件的路径
以下选项集直接针对 CafeOBJ 解释器：
-救命 打印帮助信息
-q 不加载用户的初始化文件
-批 以批处理模式运行
-p PATH
给出了标准的前奏文件定义模块
+p PATH
加载额外的前奏文件
-l 目录
设置模块搜索路径的路径名列表，以冒号分隔
+l 目录
添加模块搜索路径的路径名列表
FILES 在启动时按顺序加载的文件。
使用 onworks.net 服务在线使用 cafeobj
