This clause succeeds if it's argument is an uninstantiated variable else it fails.
see also: atom/1 atomic/1 compound/1 float/1 integer/1 instance/1 nonvar/1 number/1
info@trinc-prolog.com