Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!hp4nl!utrcu1!mi.eltn.utwente.nl!klamer From: klamer@mi.eltn.utwente.nl (Klamer Schutte) Newsgroups: comp.sys.atari.st Subject: Prolog for the ST Keywords: TOY Prolog-68 Message-ID: Date: 19 Mar 91 09:50:53 GMT References: <27756@dime.cs.umass.edu> <806@antares.Concordia.CA> Sender: news@utrcu1.UUCP Reply-To: cc!kilian@gatech.edu (Jens Kilian) Organization: University of Twente, BSC-El Lines: 40 I am forwarding this message for Jens Kilian, kilian@cc.GaTech.edu. In article Klamer Schutte writes: >When you care about execution speed, you don't want toy prolog. >It is ssssssoooooo sssssslllllloooowwwww (get it ;-) That's why it was called `TOY' Prolog by the original authors (Kluzniak & Szpakowicz); it's also one of the things that made me NOT change the name after I had completely rewritten most of the program. If you want a really fast Prolog, try Prolog-68 (comp.binaries.atari.st, volume 13, available on the Panarthea server). It is about 26 times faster than TOU Prolog ST; on the nrev benchmark, it almost reaches 12 KLIPS. If there is any faster Prolog for the ST, I would like to hear about it ... The trouble with Prolog-68 is that it is a pre-release version; some major features like assert/retract are still missing, and so is most of the doumentation. >Now i use SALIX prolog. It is a commercial (approx. DM 200) >package from germany. Its fast and reasonably bug resitant. >The gem interface is nice (It is in prolog and no to slow). I never got to write a GEM interface for TOY Prolog, it would have been impossible to uuusssseee iiitttt, anyway :-(. Jens Kilian -- ** kilian@cc.GaTech.edu ** SnailMail: 200 Cityline Ave., Atlanta, GA 30308 **** * "As the air to a bird, or the sea to a fish, so is contempt * * to the contemptible." --William Blake * ** Fax: (404) 853-9378 *********** All addresses valid until June only ******** <<< End of forwarded message -- Klamer -- Klamer Schutte Faculty of electrical engineering -- University of Twente, The Netherlands klamer@mi.eltn.utwente.nl {backbone}!mcsun!mi.eltn.utwente.nl!klamer