New posts in instantiation-error

Can't check equality with unknowns in Prolog

prolog instantiation-error