Question

I have these two lists:

'(and 1 (or a b))
'( (a 0)(b 1) )

I am new to lisp, and I am finding it very hard to figure out how to compare these two lists. I am thinking of creating a comparison function, but I don’t know how to compare them one by one as in lisp values aren’t returned until the expression is evaluated. Since they aren’t the same structure either, I can’t assume they will be the same, structurally at least. Any explanation how this works?

Edit: Sorry, I forgot to say why I am comparing. The second list is to suppose to bind the number to everywhere where those variables exists in the first list. So the resulting first list should be:

'(and 1(or 0 1))

Answer 1

Built in:

$ clisp -q
[1]> (sublis '((a . 0) (b . 1)) '(and 1 (or a b)))
(AND 1 (OR 0 1))
[2]> 

So the homework reduces to making a wrapper for SUBLIS which accepts the bindings in the form ((a 0) (b 1)) rather than ((a . 0) (b . 1)).

Clue:

(loop for (x y) in vars collecting (cons x y))