这是 dfg2dfg 命令，可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
dfg2dfg - 计算问题的近似值
概要
dfg2dfg [-喇叭] [-单子] [-线性] [-浅] [入档[输出文件]
商品描述
dfg2dfg 是一个从 DFG 语法的输入文件中读取子句的程序。 那么它
根据命令行选项计算子句集的近似值。
最后，它将 DFG 语法中的近似子句集写入文件。
如果两者都不是 入档 也不 输出文件 给出， dfg2dfg 从标准输入读取并写入
标准输出。 如果给出了一个文件名，它会从该文件中读取并写入输出
到标准输出。 如果给出多个文件名， dfg2dfg 从第一个读取
文件并写入第二个。
在单独的论文中详细描述了这些近似值 dfg2dfg.ps
包含在 SPASS 发行版中。
配置
dfg2dfg 有四个可以组合的不同命令行选项。
-喇叭
此选项允许将非 horn 子句转换为 horn 子句。 每个
非喇叭从句 n 正字面量转化为 n horn 子句，其中
i-th 子句包含 i-th 正字面量和非 - 的所有负字面量
喇叭条款。 另见论文第 3 节。
-monadic[=n]
使用此选项，具有非 monadic 谓词符号的原子被转换为 monadic
原子。 如果 n 被省略或 n=1 应用术语编码，即所有非 monadic
谓词移动到术语级别。 和 n=2 应用了投影。 所有非
一元原子被它们的一元参数投影取代。 见第 4.1 节
有关更多详细信息，请参阅论文的第 4.2 节。
-线性
这种近似转换了具有一元文字和非线性变量的子句
出现在后续原子中，变成一个可能更消极的新子句
文字，在后继中不包含任何非线性变量。 见部分
5 的论文的详细信息。
-浅[=n]
这种转换试图减少正文字中术语的深度。 这
转换仅适用于具有 monadic 文字的 horn 子句。 如果 n 被省略
or n=1 应用了严格的变换，即等价保持，然而。
针对 n=2 去除了一些先决条件。 这允许应用转换
更常见的是，但转换不再是等价保持。 为了 n=3
甚至更多的先决条件被删除。 请看第 6 节。n 论文的
命令行选项的详细信息 -monadic=n.
使用 onworks.net 服务在线使用 dfg2dfg
