Article View: comp.lang.prolog
Article #3927DEC-10 Prolog library file vcheck.pl
From: Francois-Michel Lang
Date: Mon, 27 Feb 1989 17:20
Date: Mon, 27 Feb 1989 17:20
14 lines
1221 bytes
1221 bytes
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
Technical Details
Message-ID:
<9390@burdvax.PRC.Unisys.COM>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!ukma!gatech!udel!burdvax!pearl!langShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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