An Archi export plugin that converts the model to prolog clauses for analysis and consistency checks