(equal x y) возвращает значение T, если

либо (eql x y) ⇒ T,
либо x и y — списки одинаковой длины, которые равны поэлементно, причем элементы также сравниваются при помощи equal.
либо x и y — строки одинаковой длины, все литеры которых совпадает (сравнение регистро-зависимое).