logic.ml