|
|
| Prompt is neither a variable nor an atom | type_error(atom, Pred) | ||
|
| Prompt is a variable | instantiation_error | ||
| Prompt is neither a variable nor an atom | type_error(atom, Pred) | ||
|
| Word is a variable | instantiation_error | ||
| Word is neither a variable nor an atom | type_error(atom, Word) | ||
|
| Prefix is a variable | instantiation_error | ||
| Prefix is neither a variable nor an atom | type_error(atom, Prefix) | ||
| Word is neither a variable nor an atom | type_error(atom, Word) | ||