Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!cornell!uw-beaver!teknowledge-vaxc!sri-unix!quintus!ok From: ok@quintus.uucp (Richard A. O'Keefe) Newsgroups: comp.lang.prolog Subject: Re: info on prolog compilers/interpreters wanted Keywords: prolog,compiler,interpreter,state of the art Message-ID: <289@quintus.UUCP> Date: 14 Aug 88 01:44:28 GMT References: <31@tugiig> Sender: news@quintus.UUCP Reply-To: ok@quintus.UUCP (Richard A. O'Keefe) Organization: Quintus Computer Systems, Inc. Lines: 31 In article <31@tugiig> plipp@tugiig (Lipp Peter) writes: >(A collegue came back from a trip to universities in the US and >told me people were laughing at the idea of using Prolog in >VLSI - must have been a Lisp department.) >Our current prologs are more or less unsuitable for >"professional" usage. What would you recommend? Well, I don't suppose anyone doubts what I would recommend (:-). If any of our customers are laughing at the idea of using Prolog for VLSI work, it must be because they are happy. [They laughed at Galileo. They laughed at Semmelweiss. They laughed at Alvarez. ] There are a lot of different tasks connected with VLSI. People use SPICE for simulation (written in Fortran). They might use the Berkeley tools for design (written in C). Prolog has been used for "silicon compilers" and in tools for converting between different circuit representation languages, also in verification work. >Our machinery: PC-compatibles and Apollos, possibly Vaxes (less >preferred). When it comes to software for Apollos, your regional Apollo office should be able to provide you with a catalogue of interesting programs available for Apollos, and there is at least one rather good Prolog in that category... [They also laughed at Bozo the Clown. He _didn't_ use Prolog, poor thing. ]