How to implement succesor and addition functions?

[ELC]

Is there a way to implement the successor function and the add function using pure relations and kanren?

[brandonwillard]

Yes, here's one example: https://github.com/TheReasonedSchemer2ndEd/CodeFromTheReasonedSchemer2ndEd/blob/master/trs2-arith.scm