Re: Kif to Prolog translator

Mike Uschold <mfu@aiai.edinburgh.ac.uk>

Mail folder: Ontolingua Mail
Next message: Jeff Kenyon: "Ontolingua under CMU Common Lisp?"
Previous message: Bruce Schuman: "Synthetic Dimensionality"
Reply: Cheng Hian Goh: "Re: Kif to Prolog translator"

From: Mike Uschold <mfu@aiai.edinburgh.ac.uk>
Date: Mon, 16 Jan 95 10:45:02 GMT
Message-id: <4336.9501161045@subnode.aiai.ed.ac.uk>
To: ontolingua@HPP.Stanford.EDU
Subject: Re: Kif to Prolog translator
Cc: muzardj@ere.umontreal.ca, umann@iqsoft.hu

For your information, there appears to be no KIF to Prolog translator
available.  I have been informed that a number of people have built such
translators for their own purposes, though none have stepped forward to give
away their code.

Thanks to those who responded.

Mike Uschold,                 	AI Applications Institute,                    
INTERNET: M.Uschold@ed.ac.uk    The University of Edinburgh,
Tel: (031) 650 2732             80 South Bridge, Edinburgh EH1 1HN 
Fax:       650-6513		Scotland          
				WWW: http://www.aiai.ed.ac.uk/