[comp.lang.prolog] where are "writef" and "vcheck" ?

wu@norbo.cs.wisc.edu (Felix S.-T. Wu) (02/11/89)

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)