问题标签 [iso-prolog]

I have a manually made DCG rule to select idiomatic phrases over single words. The DCG rule reads as follows:

The first clause is manually made, since (:-)/2 is used instead of (-->)/2. Can I replace this manually made clause by some clause that uses standard DCG?

Best Regards

P.S.: Here is some test data:

And here are some test cases, the important test case is the first test case, since it does only deliver n3 and not cons(n1,n2). The behaviour of the first test case is what is especially desired:

如何在 Prolog 中截断文件长度？

我只set_stream_position/2在 ISO 标准中找到一个谓词。set_stream_length/2但我在主要的 Prolog 系统中找不到谓词。

同样有一个流属性position/1，但我看不到length/1流属性。后者将有助于使用set_stream_length/2.

解决方法是什么？

再见

用户输入的格式为 a:b>c>d>e... 等等。我想将输入解析为 :(a,>(b,>(c,>(d,e))) 这可能吗？有什么建议吗？我用这个进行了测试

无法修改输入。任何建议都值得赞赏。谢谢！

我正在尝试深入研究以下 GNU Prolog 行为：

有没有标准的方法来查看短语/3 的翻译？

根据 ISO DCG 提案 (*)，我们需要有一个 expand_term/2。现在我可以用它来检查：

这是否告诉我在我的 test/3 中如何使用短语/3？

(*) ISO/IEC DTR 13211–3:2006
定句语法规则
Klaus Daessler
2012 年 11 月 20 日
http://www.complang.tuwien.ac.at/ulrich/iso-prolog/dcgs/dcgsdin121120.pdf

在 Prolog 程序的开头，我看到：

这似乎是一个没有头的子句。这是什么意思？

是否可以提出查询，例如

可以返回所有具有 arity 1 的谓词？一般来说，是否可以通过使用变量来引用谓词名称？

我是 prolog 的新手，我正在尝试通过更改优先级来重新分配 prolog 中的运算符。我遇到以下 4 个错误：

前两个给了我一个类似的错误，如下所示：

我也收到模一错误（一个不同的错误），但我怀疑这是因为我不应该%用引号括起来（但我应该如何将它与评论标记区分开来？）。

我重新定义了一堆其他运算符（例如加法运算符:-op(500,yfx,+).），它们没有给我带来任何问题。只有上面列出的 3 个给我错误。

任何人都可以对此有所了解吗？

谢谢！

Javascript 似乎作为其他编程语言的实现语言变得流行。(C)LP 到 JavaScript的轻量级编译一文 。ICLP 2012 引起了我的注意。

网上有很多用 Javascript 编写的 Prolog 系统的概念验证原型。

什么是当前的、积极维护的、最好是符合 ISO 标准的用 Javascript 编写的 Prolog 系统？

Hilog 项（即具有任意项作为函子的化合物）是否仍然被视为 XSB Prolog（或任何其他 Prolog）中的强大功能？目前有很多 XSB 项目使用这个功能吗？例如，他们中的哪一个？

我问，因为据我了解，使用 ISO 内置 call/N 进行高阶编程同样可能。

具体来说，我想了解 XSB 是否只是出于历史原因使用 Hilog 术语，或者与当前的 ISO 标准相比，Hilog 术语是否具有相当大的优势。

我需要将使用 Java 中的任意术语表示表示的 Prolog 程序导出到文件。这个想法是 Prolog 解释器应该能够在之后查阅生成的文件。我的问题是关于在表示原子术语的文件 Java 字符串中写入的正确方法。

例如，如果字符串中间有空格，则在文件中应该用单引号括起来：

 你好世界   变成   “你好世界”

并且出口商应该考虑应该转义的字符：

 '   变成  '\''

有人可以指出这些规则被指定的地方吗？并且：我可以假设这些规则受到主要 Prolog 实现者的尊重吗？（我的意思是，按照这些规则生成的 Prolog 程序会被大多数 Prolog 解释器正确解析？）。