[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Compiling the PRESS program

From: Gunnar Strand
Subject: Re: Compiling the PRESS program
Date: Mon, 10 Sep 2012 19:29:55 +0200


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.


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

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:


instead you have to write:

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

But there are surely many other incompatibilities...


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


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 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
/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/ for byte code...
/tmp/press-src/pressdir/pressjunk/ 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 :-).


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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]