如何使用Prolog测试条款？

Question

如何使用这些表达式？

• SP_term_type（） 访问术语类型
• SP_is_variable（） 检查术语是否为变量。
• SP_is_integer（） 检查term是否为整数。
• SP_is_float（） 检查术语是否为浮点数。
• SP_is_atom（） 检查术语是否是原子。
• SP_is_compound（） 检查术语是否为复合词。
• SP_is_list（） 检查术语是否为列表。
• SP_is_atomic（） 检查术语是否是原子的。
• SP_is_number（）

Answer 1

这些C API函数在the SICStus Prolog Manual中都有单独的参考页面。库中的C代码可以作为其使用的示例。

一般情况下，如果可能的话，你应该避免使用C API，因为它很容易做错事。