core-logic 2020-03-27

core.logic has a function lcons to model these improper-tail cons cells, I've only used it when translating the Reasoned Schemer exercises.