testing - 如何使用 Prolog 测试术语？

Question

如何使用这些表达方式？

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

Answer 1

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

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