Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!think.com!yale!quasi-eli!cs.yale.edu!ciancarini-paolo
From: ciancarini-paolo@cs.yale.edu (paolo ciancarini)
Newsgroups: comp.lang.prolog
Subject: Re: Prolog for UNIX ?
Summary: a note on BIM Prolog
Message-ID: <29742@cs.yale.edu>
Date: 29 Mar 91 18:42:25 GMT
References: <1991Mar28.183655.19544@lonex.radc.af.mil> <1991Mar29.015327.1803@athena.cs.uga.edu>
Sender: news@cs.yale.edu
Organization: Yale University Computer Science Dept., New Haven, CT 06520-2158
Lines: 26
Nntp-Posting-Host: poe.systemsy.cs.yale.edu
Originator: cianca@poe.CS.Yale.Edu

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