型別和域錯誤

一個型別的錯誤，如果一個引數是預期的不發生型。型別的示例是：

• integer
• atom
• list。

如果謂詞屬於預期型別，但在預期域之外，則會引發域錯誤。

例如，如果期望 0 到 15 之間的整數，則允許域錯誤，但引數是整數 20。

宣告性地，型別或域錯誤等同於靜默失敗，因為沒有例項化可以使其引數的型別或域成功的謂詞成功。