added examples for MIL experiments and generator for prolog clauses