mukanren This is unfinished (it fails on some basic tests) !! Will come back to it, at some stage ...