Prolog clauses generation added.