How to do defmatch without using matchdeclare? defmatch(anyname, x(i, l)*x(j, k))$ anyname(x(a,b)*x(c, d)) returns false always
Subject: How to do defmatch without using matchdeclare? defmatch(anyname, x(i, l)*x(j, k))$ anyname(x(a,b)*x(c, d)) returns false always
From: Robert Dodier
Date: Mon, 6 Feb 2006 11:38:48 -0700
On 2/6/06, dp2 at cise.ufl.edu <dp2 at cise.ufl.edu> wrote:
> There is small glitch I am facing. If I am passing a variable containing
> list to the matchdeclare, the rule doesnt work.
> e.g.
> tmplist: [a, b, c, d, e];
> matchdeclare (tmplist, all);
there is a way to make that happen, but from what i can tell
it would not actually help, so i'll leave it aside.
maybe you can explain a little more about what you're trying
to do and what you've already tried that doesn't work.
best,
robert