Re: Compiling the PRESS program

[Daniel Diaz]

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.