[Date Prev] [Date Next] [Thread Prev] [Thread Next] Date Index Thread Index Search archive:
Date:Fri, 23 Apr 2004 19:40:38 +0000 (UTC) 
Subject:Re: Download for Solaris/SPARC 
From:Aaron Sloman 
Volume-ID: 


Daniel Seichter <daniel@dseichter.de> writes:

> Date: Fri, 23 Apr 2004 20:13:38 +0200
>
> Good evening,
>
> I am searching a Proog engine

Do you mean 'proof engine', like Prolog?

> for using it under Solaris on SPARC but on
> the polog homepage I can't download it.

Are you referring to prolog, or poplog?

I assume you are looking for poplog because you posted to
comp.lang.pop

If you tried www.poplog.org there were problems about the packages
getting out of date. I thought it cross-referenced the Birmingham
site
    http://www.cs.bham.ac.uk/research/poplog/freepoplog.html

but it doesn't any more. So it seems to be no good for finding
poplog.

[[Graham if you are reading this, could you add, on the front page

    If you wish to obtain poplog please go to the Birmingham Free
    Poplog web site:
    <a href="http://www.cs.bham.ac.uk/research/poplog/freepoplog.html";>http://www.cs.bham.ac.uk/research/poplog/freepoplog.html</a>

Otherwise the existence of www.poplog.org completely stops people
getting poplog if they give up at that stage.
]]


You can jump direct to the link to solaris poplog if you don't
wish to browse the whole freepoplog.html file:

    http://www.cs.bham.ac.uk/research/poplog/freepoplog.html#solaris

The installation guide here should work:
    http://www.cs.bham.ac.uk/research/poplog/new/install.txt

Look for the section headed

-- Installing Poplog on a Unix system (e.g. Linux, Solaris) -----------

But I have not checked it for some time, as we hardly use solaris
poplog now.

There are lots of extras available too which are architecture
neutral, described in the Free Poplog html file.

> Is there a mirror or something like else? I want to use it because of the
> IDE which is includes and so I do not need to find a
> "syntax-highlighting-able" editor.

I can't tell from your description if poplog is what you want.

The linux version of poplog is much better packaged than the solaris
version but the solaris version should work.

But perhaps you posted to the wrong news group. See
    http://www.cs.bham.ac.uk/research/poplog/comp.lang.pop.faq.html

I hop that helps.

Aaron
====
Aaron Sloman, ( http://www.cs.bham.ac.uk/~axs/ )
School of Computer Science, The University of Birmingham, B15 2TT, UK
EMAIL A.Sloman AT cs.bham.ac.uk   (ReadATas@please !)
PAPERS: http://www.cs.bham.ac.uk/research/cogaff/ (And free book on Philosophy of AI)
FREE TOOLS: http://www.cs.bham.ac.uk/research/poplog/freepoplog.html