2
我有单引号原子的问题。 虽然p =='p'返回true，为什么p = \ ='p'不返回false？它给了我一个错误，说'P'不是一个函数。为什么p = 'p'在SWI-prolog中返回错误？
A
回答
1
因为== checks term equality，而=\= checks arithmetical inequality。作为为p不是数字，Prolog的将其视为一个算术表达式，试图找出其算术值：
1 ?- p == 'p'.
true.
2 ?- p =/= 'p'.
ERROR: Syntax error: Operator expected
ERROR: p
ERROR: ** here **
ERROR: =/= 'p' .
2 ?- p =\= 'p'.
ERROR: =\=/2: Arithmetic: `p/0' is not a function
3 ?-
相关问题
- 1. 为什么p大于p？
- 2. 为什么co-P = P
- 3. mkdir -p返回错误“文件存在”
- 4. char * p [1234567] = {NULL};段错误，为什么？
- 5. 错误：</p> <p>错误：在const的返回类型
- 6. 为什么* p ++与* p + = 1不同？
- 7. 为什么p ++比p = p-> next更快
- 8. sed中p和p有什么区别？
- 9. 是什么_ITERATOR_DEBUG_LEVEL = 1是什么意思？</p> <p>错误LNK2038：
- 10. while（* p）{p ++;}，while（* ++ p）{;}和while（* p ++）{;}之间有什么区别？
- 11. 为什么P⊆co-NP？
- 12. adf.test返回P> 0.99 XTS，但返回P <0.01，与coredata（XTS）
- 13. 为什么我的\ p {L}返回下划线？
- 14. $（“p”）。each（function（）{}）vs for（p在$（“p”）中返回不同值的段落数
- 15. 为什么p在“int q []，p [];”是一个二维数组？
- 16. P＆P RetryPolicy，什么是瞬态异常
- 17. 2 [p]和6 [p]是什么意思？
- 18. x = * p ++和* p ++; x = * p in c有什么区别？
- 19. Ruby中的“p”是什么？
- 20. Webpack中的-p是什么？
- 21. scipy p值返回0.0
- 22. 的P/Invoke SetupDiGetDeviceInterfaceDetail返回1784
- 23. 为什么我在+ p`和`paste`？
- 24. 为什么SciPy通过Fisher精确检验为极小的p值返回负p值？
- 25. p parsed [“desc”] [“someKey”]，在ruby中“p”是什么意思？
- 26. 什么是返回标在Hibernate和如何在Hibernate中</p> <p>使用
- 27. 为什么* p ++ = * p - a给出奇怪的结果？
- 28. 如果P = NP，为什么P = NP = NP-Complete？
- 29. jQuery选择：为什么$（ “＃ID”）找到（ “P”）快于$（ “＃ID P”）
- 30. 为什么声明空隙F（const int的* P）被修改p
@lurker谢谢！我修复了它。 – 921Kiyo