1
我知道有几个谓词函数可以测试变量是否属于某种类型。 例如,CLIPS:如何测试变量的类型是否是某个类?
(test (integerp ?my_var))
返回TRUE
如果my_var是整数类型。
说我有一个班A
。如何测试变量是否为A
?也就是说,我要测试是否?my_var
是
我期待这样的事情A.实例:
(test (instance_of_A_p ?my_var))
或
(test (is-a (?my_var A))