maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Need Help in Maude Programming

From: umair farooqi <umair.farooqi AT seecs.edu.pk>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] Need Help in Maude Programming
Date: Sat, 6 Nov 2010 17:42:58 +0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Hi Guys,

I need some help regarding Maude programming as i am a newbie in this language.

Actually i have to implement the Distribution Law of Algebra using the unification in order sorted modulo.

Distributive Law is:

X*(Y+Z) = X*Y + X*Z

I need to make an equation to make the both sides equal.

And i need to implement it using the Maude Language Core Maude 2.5 unification feature.

Please help me with this assignment. I would really appreciate the help. If someone has the code please share it.

Looking forward to your reply.

--
-----------------------------------------------------------------

Thank You.

Regards,

M.Umair Farooqi
PS Consutant, ETL Dept, Teradata GCC Pakistan
Cell:+92-322-8568108
Office: +92-51-2011085

[Maude-help] Need Help in Maude Programming, umair farooqi, 11/06/2010