|
Options is a partial list or a list with an element
E which is a variable |
|
instantiation_error |
|
Options is neither a partial list nor a list |
|
type_error(list, Options) |
|
an element E of the Options list is neither a
variable nor a variable binding option |
|
domain_error(var_binding_option, E) |
|
From is a variable |
|
instantiation_error |
|
From is neither a variable nor an integer |
|
type_error(integer, From) |
|
Next is neither a variable nor an integer |
|
type_error(integer, Next) |
|
List is a partial list |
|
instantiation_error |
|
List is neither a partial list nor a list |
|
type_error(list, List) |
|