Re: Compiling the PRESS program

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 <[email protected]>

> 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/<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.
>
>

_______________________________________________
Users-prolog mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/users-prolog