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
