Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

The line

[4]+  Stopped                 maude simplenat.maude

Makes me think that the Maude process has been suspended (typically ctrl-Z in 
most shells) so that your typed command is going to the shell. Try running 
Maude without a command line argument and type

red 1 + 1 .

to see if the prelude with it's built-in operators has loaded. You should see 
something like:

reduce in CONVERSION : 1 + 1 .
rewrites: 1 in 0ms cpu (11ms real) (~ rewrites/second)
result NzNat: 2

Steven

On Monday 23 February 2009 08:53, Marinella Petrocchi wrote:
> Dear all,
>
> few days ago I downloaded Core Maude 2.4 for Linux Intel x86.  (As
> operating system, I use Ubuntu, 8.10)
> Following the web site instructions, I put the maude-linux directories
> into /usr/local, and I created the symbolic link to the Maude executable
> in a directory in my path....
> Also, I added to .bashrc the following:
>
> export MAUDE_LIB='/usr/local/maude-linux'
>
> Consequently, Maude starts, and there is no warning message about the
> prelude-maude. Fine.
>
> Problem is..all the rest! :(
> It seems that nothing works. Starting with the basic examples in the
> manual I obtained some error messages.
> Considering SIMPLE-NAT,
> I launch maude simplenat.maude.
>
> if I type:
>
> reduce s s zero + s s s zero .
>
> I obtain:
>
> [4]+  Stopped                 maude simplenat.maude
> bash: reduce: command not found
>
> if I type:
> red s s zero + s s s zero .
>
> I obtain
> "s: No such file or directory".
>
> Also, I tried with other examples found on the net, e.g., at
> http://www-compsci.swan.ac.uk/~csneal/MaudeCourse/BasicMaude.html
> section 2.3, rewriting....
>
> I load the module basicnat.maude
> and if I type:
>
> red s(0) + s(s(0)) .
>
> I obtain:
>
> bash: syntax error near unexpected token `('
>
> ...What's wrong with this?
> thanks very much for your help, and sorry if the questions are stupid....
>
> best regards, marinella
>
>
>
>
>
>
>
>
>
>
>
>
> _______________________________________________
> Maude-help mailing list
> Maude-help AT maude.cs.uiuc.edu
> http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help