require [cascalog.logic.def]