Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!ukma!gatech!udel!burdvax!pearl!lang
From: lang@pearl.PRC.Unisys.COM (Francois-Michel Lang)
Newsgroups: comp.lang.prolog
Subject: DEC-10 Prolog library file vcheck.pl
Keywords: DEC-10 Prolog library singleton variables
Message-ID: <9390@burdvax.PRC.Unisys.COM>
Date: 27 Feb 89 17:20:10 GMT
Sender: news@PRC.Unisys.COM
Lines: 14


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