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)