Prolog for UNIX ?

Article View: comp.lang.prolog

Article #1975

#1975

From: Anthony R. Macera
Date: Thu, 28 Mar 1991 18:36

8 lines
908 bytes

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.mil

Technical Details

Message-ID: <1991Mar28.183655.19544@lonex.radc.af.mil>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!swrinde!elroy.jpl.nasa.gov!mahendo!wlbr!lonex.radc.af.mil!maceraa

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!swrinde!elroy.jpl.nasa.gov!mahendo!wlbr!lonex.radc.af.mil!maceraa
From: maceraa@lonex.radc.af.mil (Anthony R. Macera)
Newsgroups: comp.lang.prolog
Subject: Prolog for UNIX ?
Message-ID: <1991Mar28.183655.19544@lonex.radc.af.mil>
Date: 28 Mar 91 18:36:55 GMT
Sender: maceraa@lonex.radc.af.mil (Anthony R. Macera)
Organization: ROME LABORATORY
Lines: 8