为什么p = \ ='p'在SWI-prolog中返回错误？

Question

我对单引号原子有疑问。 当p =='p'返回true时，为什么p = \ ='p'不返回false？它给了我一个错误，说'p'不是一个函数。

Answer 1

因为== checks term equality，而=\= checks arithmetical inequality。由于 angular.module('myModule',['vkEmojiPicker','mgcrea.ngStrap'] ) .controller('myController', function ($scope) { $scope.message = "String including Emoji codes :smiley:"; }); 不是数字，Prolog将其视为算术表达式，试图找出其算术值：

  

1？ - p ==＆＃39; p＆＃39;。
  真正。
   
  2？ - p = / =＆＃39; p＆＃39;。
  错误：语法错误：操作员预期
  错误：p
  错误：**这里**
  错误：= / =＆＃39; p＆＃39; 。
   
  2？ - p = \ =＆＃39; p＆＃39;。
  错误：= \ = / 2：算术：`p / 0＆＃39;不是一个功能
   
  3？ -