Reversing instaparse with core.logic