
















g


%   Purpose: Check for misspelled variables.
/*
    This file defines a predicate vcheck(File) which may be used as a
    debugging tool.  All it does is to read the clauses of the file,
    one at a time, and report which clauses contain unique variables.
    It uses the tokeniser read_tokens; either the RdTok.Pl version or
    the RdTok.Gen version will do.

Needs:
	try_hard_to_see		from Util:TrySee.Pl
	give_help		from Util:






























































































































































































































































































































































	write_token(Head), !,
	wri
okens(Tail).
write_token
) :-
	write('.'), nl
rite_token(atom(
:- !,	write(
write_to
var(


































