Export Archi models to prolog clauses for analysis