Path: 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

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