* logic.dl: start