相关疑难解决方法(0)

ISO-Prolog(ISO/IEC 13211-1:1995,包括Cor.1:2007,Cor.2:2012)提供了以下用于测试术语类型的内置谓词:

8.3型式试验

1 var/1.2原子/ 1.3整数/ 1.4浮点/ 1.5原子/ 1.6化合物/ 1.7 nonvar/1.8号/ 1.9可赎回/ 1.10地/ 1.11 acyclic_term/1.

在这一组中有那些目的只是为了测试某种实例,即8.3.1 var/1,8.3.7 nonvar/1,8.3.10 ground/1,而那些假设长期充分实例化使得型式试验是安全的.不幸的是,它们与测试具体实例相结合.

考虑目标integer(X),其失败,如果X是一个nonvar术语,不是一个整数,并当X是一个变量.这破坏了许多理想的声明属性:

?- X = 1, integer(X).
true.

?- integer(X), X = 1.
false.

理想情况下,第二个查询将使用某种形式的coroutining成功; 或者根据错误分类发出实例化错误¹.毕竟:

7.12.2错误分类

错误根据Error_term的形式分类:

a)当
参数或其中一个组件是变量并且需要
实例化的参数或组件时,应该存在实例化错误.它有
形式instantiation_error.

...

请注意,实例化测试和类型测试的这种隐式组合会导致Prolog程序中的许多错误,并且也会出现在SO上.

对这种情况的快速解决方法是在内置的每个测试之前添加一个显式测试,或者详细说明

   ( var(T) -> throw(error(instantiation_error,_)) ; true),
   integer(T), ....

或更紧凑

functor(T, _,_),
integer(T), ....

它甚至可以

T =.. _,
integer(T), …