lang@pearl.PRC.Unisys.COM (Francois-Michel Lang) (02/28/89)
Some time ago, a query was posted concerning a file vcheck.pl, which is supposed to be in the DEC-10 Prolog Library. This file is supposed to contain code (I think by Richard O'Keefe) that does singleton-variable checking, presumably much the way that Quintus Prolog does. The copies of the DEC-10 Prolog Library that I have access to do not seem to have this file in them. Does anyone out there whose site has a copy of the DEC-10 library have this file? I would be interested in obtaining a copy of it, and presumably others would be too. ---------------------------------------------------------------------------- Francois-Michel Lang Paoli Research Center, Unisys Corporation lang@prc.unisys.com (215) 648-7256 Dept of Comp & Info Science, U of PA lang@cis.upenn.edu (215) 898-9511