Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!decvax!tektronix!ogcvax!omsvax!icalqa!hplabs!sri-unix!pereira
From: pereira@sri-unix.UUCP
Newsgroups: net.sources
Subject: Prolog library: vcheck.hlp
Message-ID: <130@sri-unix.UUCP>
Date: Mon, 15-Aug-83 02:07:13 EDT
Article-I.D.: sri-unix.130
Posted: Mon Aug 15 02:07:13 1983
Date-Received: Thu, 11-Aug-83 15:34:23 EDT
Lines: 24

File:   Mec:Vcheck.Hlp   Author:  R.A.O'Keefe   Updated: 7 December 82
 
#purpose.
 
The purpose of this program is to help me (and others) debug Prolog programs.
It reads a Prolog source file clause by clause, and reports each clause that
contains a unique variable.  Vcheck worries about variables that only appear
once in a clause, unlike Wlist which only notices if a variable doesn't occur
elsewhere in the whole file.
 
#commands.
 
Vcheck is now part of the Prolog ToolKit.  To run any of the Tools,
you type either of the Monitor commands
                .ToolKit                - if part of the DAI HPS group
                .ru ToolKit[400,444]    - otherwise
 
There are two Prolog commands available:
                ?- vcheck(File).        - check a particular file
                ?- vcheck.              - enter a command loop like COUNT
 
#files.
 
call give_help(count,files) for details.