var tailed list for miniKanren and cKanren