An instantiation error occurs in Prolog when an argument is insufficiently instantiated. It is frequently encountered with (is)/2 and the built-ins for arithmetical comparison like (>)/2 and (=:=)/2 that all expect variable free expressions.
