Edmund Jackson presented an introduction to core.logic from the ground up – e.g. what is logic?, why do you care? – to the nuts and bolts – e.g. fresh, unify and conde – to striking new ground – e.g. new goals. He presented a series of increasingly complex and interesting examples as he progressed, ending in a complex example.