Goal1 or Goal2 is a variable | instantiation_error | |
Goal1 is neither a variable nor a callable term | type_error(callable, Goal1) | |
Goal2 is neither a variable nor a callable term | type_error(callable, Goal2) | |
The predicate indicator Pred of Goal1 or Goal2 does not correspond to an existing procedure and the value of the unknown Prolog flag is error (section 6.22.1) | existence_error(procedure, Pred) | |
Goal is a variable | instantiation_error | |
Goal is neither a variable nor a callable term | type_error(callable, Goal) | |
The predicate indicator Pred of Goal does not correspond to an existing procedure and the value of the unknown Prolog flag is error (section 6.22.1) | existence_error(procedure, Pred) | |
Goal is a variable | instantiation_error | |
Goal is neither a variable nor a callable term | type_error(callable, Goal) | |
The predicate indicator Pred of Goal does not correspond to an existing procedure and the value of the unknown Prolog flag is error (section 6.22.1) | existence_error(procedure, Pred) | |
Ball is a variable | instantiation_error | |