TY - RPRT TI - The (Lazy) Functional Side of Logic Programming AU - S. Etalle AU - J. Mountjoy PY - 2000 UR - https://arxiv.org/abs/cs/0003070 ID - cs/0003070 ER -