Yes, and in Prolog you instantiate logic variables when you assign a value to them, so it would be a bad term in Prolog too.