Maude-help mailing list

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

Hi,

I'm not sure what you are trying to do. If you want to manipulate 
substitutions, the only way to do this is via the metalevel. You will need to 
write your own apply function that recurses over metaterms.

Best regards,

Steven Eker

On Thursday 19 June 2003 01:00 am, rebaiaia Med LARBI wrote:
> Hi all,
>
> Please would you like to help me. I'm a biginner in using Maude. I would
> like to use the function substitution automaticaly. Like this,
>
> Suppose we have to replace the value after a computation result or before,
> for example:
>
> A propositionnal formula system:
>
> (a /\ b /\ c)
>      \/
> (a /\ b /\ d)
> .
> .
> .
> (a /\ c /\ f)
>
> we would like that   a <-- true, b <-- false   etc...  How should I do ?
>
>
> Best  wishes.
>
>
> Mohamed Larbi Rebaiaia
> Computer Sciences Department
> University of Batna (05000)
> Algeria.
>
> _________________________________________________________________
> Add photos to your messages with MSN 8. Get 2 months FREE*.
> http://join.msn.com/?page=features/featuredemail
>
> _______________________________________________
> Maude-help mailing list
> Maude-help AT maude.cs.uiuc.edu
> http://maude.cs.uiuc.edu/mailman/listinfo/maude-help