Re: Compiling the PRESS program

[Gunnar Strand]

Hi,

Thank you for the information, Daniel.

Yes it's old, from about 1985.  But it seems to have been compiled using Quintus 3.1. something according to the code, and I have a hard time believing that that version would be so old considering Quintus' current version is about 3.5.

I haven't been able to find any other equation solver which seem as complete as PRESS yet, though I am only just beginning my investigation. I have some hours to spend to see if I can get this old dinosaur working, so we'll see how it goes.

BR
Gunnar

2012/9/10 Daniel Diaz <address@hidden>

Hi,

I don't know this program but it seems pretty old. Meanwhile an ISO standard has been published.
asserta is not a directive so you cannot write:

asserta(library_directory('/tmp/press-src/util')).

instead you have to write:

:- intialization(asserta(library_directory('/tmp/press-src/util'))).

But there are surely many other incompatibilities...

Daniel


Le 08/09/2012 13:50, Gustra a écrit :

Hello,

I am looking for a symbolic equation solver and I am trying to compile the
PRESS program (PRolog Equation Solving System) written by Leon Sterling et
al. I have downloaded the source from
http://dream.inf.ed.ac.uk/software/press/ and thought I'd have a go at it.
My Prolog is very rusty (about 15 years :-), so this will almost be like
starting from scratch...

According to the PRESS README, it seems the program is compiled into an
executable form using a compile() directive, but gprolog doesn't make it
that far. I promptly ran into errors at the very beginning:

/tmp/press-src/pressdir/pressjunk$ cat pload
[filin].
ss.
halt.
/tmp/press-src/pressdir/pressjunk$ prolog < pload
GNU Prolog 1.3.0
By Daniel Diaz
Copyright (C) 1999-2007 Daniel Diaz
compiling /tmp/press-src/pressdir/pressjunk/filin.pl for byte code...
/tmp/press-src/pressdir/pressjunk/filin.pl:9: warning: unknown directive
asserta/1 - maybe use initialization/1 - directive ignored
<...and so on for every asserta>

and the offending lines look like this:

  9 :- asserta(library_directory('/tmp/press-src/util')).

What troubles me is that the asserta/1 clause is listed in the gprolog
manual as built-in, so what do I need to do to make it available?

There are other errors reported by gprolog (eg syntax errors), but I will
attack them one at a time.

If it so happens that somebody is aware of a gprolog (or swi-prolog for
matter) working implementation of PRESS, then I would be delighted to
abandon this endeavour :-).

BR
Gunnar

--

Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.