Re: Theorem Provers

Article View: comp.lang.prolog

Article #902

#902

From: Torkel Franzen
Date: Sat, 09 Jun 1990 17:11

14 lines
1317 bytes

In article <3885@moondance.cs.uq.oz.au> rhys@batserver.cs.uq.oz.au
 (Rhys Weatherley) writes:

 >Could you please tell us what directory/filename(s) it can be found in on the
 >ftp site name you gave?  I looked about but could not seem to find anything
 >that looked interesting :-).  Also is the C version available somewhere there
 >too?

  I just checked our ftp/archive, which I understand is available to you
when you ftp to sics.se. The Prolog version is there under the
name sicstusft1.0.tar.Z, and the C version as ft1.2.Z. You should find a
README file giving particulars about the files available for ftp, although
there is an unfortunate discrepancy in regard to the C version, which is
called 'ft1.1.tar.Z' in the README.

Technical Details

Message-ID: <1990Jun9.171134.5566@sics.se>

Path:

arc1-ca.pugleaf.net!utzoo!attcan!uunet!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!rpi!uupsi!sunic!sics.se!sics.se!torkel

References: <13882.266e78af@max.u.washington.edu> <1990Jun8.082459.4371@sics.se> <3885@moondance.cs.uq.oz.au>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!rpi!uupsi!sunic!sics.se!sics.se!torkel
From: torkel@sics.se (Torkel Franzen)
Newsgroups: comp.lang.prolog
Subject: Re: Theorem Provers
Message-ID: <1990Jun9.171134.5566@sics.se>
Date: 9 Jun 90 17:11:34 GMT
References: <13882.266e78af@max.u.washington.edu>
 <1990Jun8.082459.4371@sics.se> <3885@moondance.cs.uq.oz.au>
Sender: news@sics.se
Organization: Swedish Institute of Computer Science, Kista
Lines: 14
In-Reply-To: rhys@batserver.cs.uq.oz.au's message of 9 Jun 90 10:08:03 GMT

Reply to Parent Message