KIF to/from Prolog

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

Mail folder: Ontolingua Mail
Next message: Bruce Schuman: "Synthetic Dimensionality"
Previous message: Eliana Coelho: "Medical ontologies?"

From: Mike Uschold <mfu@aiai.edinburgh.ac.uk>
Date: Thu, 12 Jan 95 12:20:15 GMT
Message-id: <29024.9501121220@subnode.aiai.ed.ac.uk>
To: ontolingua@HPP.Stanford.EDU
Subject: KIF to/from Prolog
Cc: alm@aiai.edinburgh.ac.uk, bat@aiai.edinburgh.ac.uk, gbibm68b@ibmmail.com,
        gbibmg2b@ibmmail.com, jlf@aiai.edinburgh.ac.uk, martin_king@uk.ibm.com,
        moralee_s@urpsl.co.uk, tcsyzz@aie.lreg.co.uk

Does anyone know of any translators between KIF and Prolog?

Thanks,

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/