few simple functions from the paper plus notes on where core.logic is different