Eight queens puzzle with core.logic (short) https://benjamin-schwerdtner.de/eight-queens-core-logic.html