Re: List Archive

Ann Copestake <[email protected]> Tue, 12 Aug 2003 18:00:38 +0100
Newsgroups gmane.comp.ai.lkb
Message-ID <[email protected]>
The distinction between := and :< is a hangover from DISCO/PAGE, where the
behaviour was as in PET.  In the LKB, := is the official notation, :< is
allowed, but only for backward compatibility and it's interpreted in exactly
the same way as :=.  

Ann