![]() |
1
3
首先,正如注释中已经提到的,您的谓词
其次,如果只是关于最一般查询的输出,则可以编写一个arity 1的包装谓词,将两个参数和结果显示为三元组:
如果您查询
如果您查询
编辑
在上面的示例中,您可以观察到Prolog提供的每个答案如何由查询中出现的每个变量的替换组成,从而使这些替换满足关系。这是在上面的“技巧”中查询时使用的属性
查询此谓词将生成所需的输出:
请注意谓词生成的输出与Prolog提供的答案之间的差异。如果您更喜欢与GNU Prolog的答案更相似的输出,您可以定义如下:
然而,请记住,这只是格式化的输出,不会改变Prolog提供答案的方式。因此,对于您希望以个性化方式回答的每个谓词,您必须提供一个输出谓词。要查看生成输出的更多选项,请查看上的文档 formatted write 。 |
![]() |
user9549524 · 基于一列的值从二维矩阵中提取值 7 年前 |
![]() |
J Alan · 用多路复用器分析数字电路的输出 7 年前 |
![]() |
sirius · BDDs或FDDs中“路径”的含义和意义是什么? 7 年前 |
![]() |
Bartholomas · Python语句中的布尔逻辑 7 年前 |
![]() |
random-user · (肯定)标准格式的XOR子句 7 年前 |
![]() |
maschu · 大整数数组逻辑中遇到无效值 7 年前 |
|
Jigoku · 检查一列是否具有特定值,然后通过列表限制另一列 7 年前 |