|
|
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) | ||