Discovering logic programming with core.logic