术语的正确使用是传达概念成功的一部分,当在SO上使用Prolog标签时使用错误的术语时,答复者会很好地指出错误。 阅读William F. Clocksin在1997年撰写的《Clause and Effect-Prolog Programming for the Working Progr...
在早期的教科书1中,经常会遇到以下形式的运算符声明:?- op(1200,fx,(:-)). ^ ^ 这些圆括号以前是必需的,但今天它们不再需要:| ?- writeq(op(1200,fx,(:-))). op(1200,fx,:-) 它们为什么不再需...
在ISO Prolog中,一致性仅针对那些不受出现检查限制的情况(NSTO)进行定义。其背后的思想是覆盖程序中大多数使用的一致性情况,并且所有Prolog系统都实际支持这些情况。更具体地,ISO/IEC 13211-1:1995如下所述: 7.3.3 受出现检查(STO)和不受出现检查(NS...
标准 Prolog 谓词的时间复杂度上限有保证吗? 例如:在任何符合标准的 Prolog 系统中,sort(+List, ?SortedList) 是否一定以 O(nlog(n)) 的时间运行(其中 n 是 List 的长度)?
在Prolog中,管道操作符返回一个或多个原子头和一个尾部列表。 ?- [a,b,c] = [a,b|[c]]. true. 在单个匹配中嵌套多个管道可以像这样实现: ?- [a,b,c] = [a|[b|[c]]]. true. 声明 [a|b|c] 意味着什么,关于 a、b 和...
Hilog术语(即具有任意项作为函数符合的化合物)在XSB Prolog(或任何其他Prolog)中,仍被认为是一种强大的功能吗?目前有许多使用此功能的XSB项目吗?例如哪些项目? 我问这个问题,因为据我所知,使用ISO内置的call/N同样可以进行高阶编程。 具体来说,我想了解XSB是否...
ISO-Prolog提供了sort/2和keysort/2,它们依赖于项序(7.2),通常称为“标准项序”。 使用不同序列的常见方法是将该列表的每个元素El映射到一些对XKey-El的列表上,然后对该列表进行排序,最后投影键。例如,考虑如何用sort/2(请参阅实现说明)表示keysort/...
我在Lee Naish的论文Higher-order logic programming in Prolog中遇到了一个陌生的Prolog语法。这是论文中的第一个代码示例: % insertion sort (simple version) isort([], []). isort(A.As...
如何定义一个元逻辑谓词,使用当前ISO标准(ISO / IEC 13211-1:1995,包括Cor.2)的内置函数,测试(因此仅成功或失败)两个唯一变量列表是否完全相同。 换句话说,如果一个唯一变量列表是另一个列表的排列,则该谓词应该成功。类比于library(ordsets),我们将这个...
在编写函数符号时,辅助空间消耗通常相当昂贵。这对于标准列表编写尤为关键。 首先考虑输出的大小:而通常的 ignore_ops(false) 编写至少需要 2n+1 个字符来表示长度为 n 的列表,如 [1,2,3],但是标准编写至少需要 7n+2 如 '.'(1,'.'(2,'.'(3,[]...