Правила для отношения next-to

Следующие правила определяют отношение next-to , которое находит в списке соседние элементы:

(rule (?x next-to ?y in (?x ?y . ?u)))

(rule (?x next-to ?y in (?v . ?z))
      (?x next-to ?y in ?z))

Каков будет ответ на следующие запросы?

(?x next-to ?y in (1 (2 3) 4))

(?x next-to 1 in (2 1 3 1))

---