maceraa@lonex.radc.af.mil (Anthony R. Macera) (03/29/91)
I currently am using Arity Prolog for circuit simulation. However,
the size of the circuit I am using seems to be too large for Arity
to handle. Is there a UNIX based Prolog? I would use it on the SUN.
If not a UNIX then any vendors that know of Prolog that has much more
capacity than Arity Prolog?
Anthony R. Macera
RBRA/Rome Laboratory
maceraa@lonex.radc.af.milmcovingt@athena.cs.uga.edu (Michael A. Covington) (03/29/91)
You'll get lots of replies, but here goes... The most popular Prolog of all -- at least, the one that sets the standards for the others -- is Quintus Prolog (Quintus Computer Systems, Mountain View, California). Another good UNIX Prolog comes from ALS (Applied Logic Systems, Syracuse, NY). -- ------------------------------------------------------- Michael A. Covington | Artificial Intelligence Programs The University of Georgia | Athens, GA 30602 U.S.A. -------------------------------------------------------
ciancarini-paolo@cs.yale.edu (paolo ciancarini) (03/30/91)
In article <1991Mar29.015327.1803@athena.cs.uga.edu> mcovingt@athena.cs.uga.edu (Michael A. Covington) writes: >You'll get lots of replies, but here goes... > >The most popular Prolog of all -- at least, the one that sets the >standards for the others -- is Quintus Prolog >(Quintus Computer Systems, Mountain View, California). > >Another good UNIX Prolog comes from ALS >(Applied Logic Systems, Syracuse, NY). > Maybe Quintus is the most popular here, but I believe that there is at least another UNIX Prolog that "sets the standards for others". It is BIMProlog, it comes from Europe, and it is marketed in the USA. Ask for info to sherlock!bert@suntan.west.sun.com Obvious disclaimer: I have nothing to do with either BIM Europe or BIM USA. I am only a happy user. Paolo Ciancarini Visiting Scientist CS Dept - Yale University
mcovingt@athena.cs.uga.edu (Michael A. Covington) (03/30/91)
Indeed, BIM is the fastest Prolog I have tried. The original poster wanted to migrate from Arity, so I named two Prologs that are syntactically close to Arity. -- ------------------------------------------------------- Michael A. Covington | Artificial Intelligence Programs The University of Georgia | Athens, GA 30602 U.S.A. -------------------------------------------------------
roland@sics.se (Roland Karlsson) (04/02/91)
There are several. Both Quintus Prolog and BIM Prolog are two good examples of commercial products. You can also get SICStus Prolog. It is a fast portable Prolog. You can get it with either a commercial or a research license. The research license cost is, more or less, just a handling fee. If you are interested then you can contact 'birgitta@sics.se'. -- Roland Karlsson SICS, PO Box 1263, S-164 28 KISTA, SWEDEN Internet: roland@sics.se Tel: +46 8 752 15 40 Ttx: 812 61 54 SICS S Fax: +46 8 751 72 30
jmcn@castle.ed.ac.uk (J McNicol) (04/03/91)
And of course there's Prolog-2, which has the advantage of running on PCs too (with and without Windows 3.0). An X windows interface is out or due out soon, apparently. We got a pretty good deal by buying both a Sun version and a Windows 3.0 version. Prolog-2 doesn't seem to get mentioned much on this newsgroup compared with certain other Prologs, so I'm trying to redress the balance. Expert Systems Limited have a policy of not advertising through the net. Wow, this is obviously a gentleman's game! Julian Smart (who still has no connection with ESL except as a satisfied customer)
amelie@ZYX.SE (Amelie Banks) (04/03/91)
In article <1991Mar28.183655.19544@lonex.radc.af.mil>, maceraa@lonex (Anthony R. Macera) writes: >... Is there a UNIX based Prolog? I would use it on the SUN... (I've already replied to this, but the article seems to be lost. If it does turn up, I apologise for repeating myself). ZYX ProLog runs on Sun4, has a call-in/call-out interface to C, an object- oriented interface to X/Windows, and an optional package for boolean constraints (for verification, optimization and scheduling problems). The price for a commercial license is $6000, for universities and research institutes $1700. -- Amelie Banks ZYX Sweden AB Styrmansgatan 6 114 54 Stockholm -- Amelie Banks ZYX Sweden AB Styrmansgatan 6 114 54 Stockholm
aarons@syma.sussex.ac.uk (Aaron Sloman) (04/05/91)
roland@sics.se (Roland Karlsson) writes: > Date: 2 Apr 91 06:40:40 GMT > Organization: Swedish Institute of Computer Science, Kista > In-Reply-To: maceraa@lonex.radc.af.mil's message of 28 Mar 91 18: 36:55 GMT > > There are several. > > Both Quintus Prolog and BIM Prolog are two good examples of > commercial products. > > You can also get SICStus Prolog. It is a fast portable Prolog. > You can get it with either a commercial or a research license. The > research license cost is, more or less, just a handling fee. If you > are interested then you can contact 'birgitta@sics.se'. There's also Poplog prolog, included in the Poplog system, which provides incremental compilers for Prolog, Standard ML, Common Lisp and Pop-11 (a language with similar functionality to common lisp but a more redundant pascal-like syntax and some other differences). Poplog comes with an integrated editor (including "compile from marked range") and a large collection of teaching and documentation files, plus libraries in source code. Users can add portable incremental compilers for additional languages using Poplog's compiler-building tools. Version 14 Poplog, recently released, provides a general X11R4 interface allowing X widget sets (e.g. Athena, Open Look, and from V14.1 also Motif) to be dynamically linked (or unlinked). The full X facilities currently work on Suns, SPARC systems and HP 9000/300 series workstations, but are being ported to other existing Poplog platforms, VAX ultrix, DECstation ultrix, Sequent Symmetry. Poplog is not free. Commercial prices start around 7,500 pounds (UK), with approx 85% discount (or more) for academics outside the UK and larger discounts for academics in the UK, who get it direct from the developers, Sussex University. Contact addresses: For UK academic sales ONLY (prices from 600 pounds): Ms Alison Mudd School of Cognitive and Computing Sciences University of Sussex Brighton, BN1 9QN phone: 0273-678116 email: alim@uk.ac.sussex.cogs US and Canada Contact addresses for POPLOG: Prof Robin Popplestone Dept. of Computer and Information Science Lederle Graduate Research Center University of Massachusetts Amherst, MA 01003, USA Email pop@cs.umass.edu or Prof Robin Popplestone Computable Functions Inc., 35 South Orchard Drive, Amherst, MA 01002, USA Phone(413) 253-7637 All other sales (including educational sales outside UK, Canada and USA) Integral Solutions Ltd Unit 3, Campbell Court Bramley, Near Basingstoke, Hampshire, RG26 5EG England Phone +44 256 882028 Fax +44 256 882182 email isl@integ.uucp ISL provide full commercial support for Poplog, and they also sell BIM Prolog in the UK.