Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!csd4.milw.wisc.edu!uxc!tank!uwvax!norbo!wu
From: wu@norbo.cs.wisc.edu (Felix S.-T. Wu)
Newsgroups: comp.lang.prolog
Subject: where are "writef" and "vcheck" ?
Keywords: Prolog-10 library programs
Message-ID: <7165@spool.cs.wisc.edu>
Date: 10 Feb 89 17:25:52 GMT
Sender: news@spool.cs.wisc.edu
Reply-To: wu@norbo.cs.wisc.edu (Felix S.-T. Wu)
Organization: U of Wisconsin CS Dept
Lines: 15

I got a copy of the Prolog-10 library programs a while ago.  The documentation
said that the following programs were included:

  writef.pl       Formatted write (writef)
  vcheck.pl       Checks Prolog files for nonanonymous variables occurring only
                  once in a clause; invaluable!

They certainly look quite useful to every Prolog programmer.  However, I could
not find them anywhere in the files I got.  Worse still, I've forgot the FTP
site where I got them from.  Could someone either tell me where I can get them
or send them to me directly ?

Thanks a lot in advance.

- Felix Wu (wu@cs.wisc.edu)