Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!usc!apple!agate!stanford.edu!snorkelwacker.mit.edu!bloom-beacon!eru!hagbard!sunic!zyx!amelie
From: amelie@ZYX.SE (Amelie Banks)
Newsgroups: comp.lang.prolog
Subject: Re: Prolog for UNIX ?
Message-ID: <1991Apr03.123735.22657@ZYX.SE>
Date: 3 Apr 91 12:37:35 GMT
References: <1991Mar28.183655.19544@lonex.radc.af.mil>
Sender: amelie@ZYX.SE (Amelie Banks)
Reply-To: amelie@ZYX.SE (Amelie Banks)
Organization: ZYX Sweden AB, Stockholm, Sweden
Lines: 22
In-Reply-To: maceraa@lonex.radc.af.mil (Anthony R. Macera)

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