Xref: utzoo sci.logic:1305 comp.theory:2056 Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!spool.mu.edu!mips!atha!aunro!alberta!cpsc.ucalgary.ca!krawchuk From: krawchuk@cpsc.UCalgary.ca (Bj Krawchuk) Newsgroups: sci.logic,comp.theory Subject: Re: Narrowing systems Message-ID: Date: 28 May 91 17:59:50 GMT Article-I.D.: fsd.KRAWCHUK.91May28115950 References: <10042@star.cs.vu.nl> Organization: The University of Calgary Lines: 28 In-Reply-To: erik@cs.vu.nl's message of 23 May 91 13:21:47 GMT (Erik Hamoen) wrote: _________ eh> Could anyone please mail me names and creation sites of narrowing eh> systems? There seem to be lots of term rewrite systems around, but only eh> few of them have a narrowing option. I have an experimental system that might be released soon called BALOG which has several features including narrowing, conditional rewriting systems, and various types of inductive theorem proving and theorem generation methods. (The system is primarily intended for machine learning applications). I'll send a note to anyone who is interested when the system becomes available sometime this summer. -- Bj ------------------------------------------------------------------------------ Brent J. Krawchuk Knowledge Sciences Laboratory krawchuk@cpsc.ucalgary.ca University of Calgary 2500 University Drive NW (403) 281-5427 Calgary, AB, Canada T2N 1N4 ------------------------------------------------------------------------------ Cheer up, the worst is yet to come. -- P.C. Johnson ------------------------------------------------------------------------------