2 ms·
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.
by kragen 1y ago
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.