![]() |
1
4
评估与统一
在Prolog中
要将术语解释为数值表达式并进行计算,您需要使用特定的Prolog运算符。正如@SQB所指出的,其中之一是
这将导致
将导致:
Prolog中还有数字比较运算符,也可以计算表达式。这些是
将产生“true”,因为
将产生“错误”,因为术语
啊!参数未充分实例化!
我看到过不少关于SO的帖子,其中提到了一个错误,即它们的参数“没有充分实例化”。其中许多是在使用
在表达式上执行约束逻辑时,要使用的工具是CLP(FD)库。因此:
将屈服,
|
![]() |
2
1
问题是
|
![]() |
flawr · 统计列表中的出现次数 9 年前 |