Re: KIF and packages

Matthew L. Ginsberg <>
Date: Wed, 26 Sep 90 13:22:51 -0700
From: Matthew L. Ginsberg <>
Message-id: <9009262022.AA07895@Sunburn.Stanford.EDU>
Subject: Re:  KIF and packages
That certainly will need to be addressed, but it is unfortunately
not that simple.  The reason is that most systems have already got
something called "true" and when you do the use-package, you get
a name conflict.  (I know this from my experience trying to port a
system that uses something called "true".)

My own suggestion would be to make the symbols exported as Tom
suggests, but *not* expect the user to do a use-package.  Simply
put the interlingua document itself in the KIF package and let
the recipient sort it out as appropriate to his system.

						Matt Ginsberg