def conso(h, t, l):
    if isinstance(l, tuple):
        if len(l) == 0:
            return fail
        else:
            return (conde, [(eq, h, l[0]), (eq, t, l[1:])])
    elif isinstance(t, tuple):
        return eq((h,) + t, l)
    else:
        raise EarlyGoalError()
Logical cons -- l[0], l[1:] == h, t
dataset/ETHPy150Open logpy/logpy/logpy/goals.py/conso