269 followers Fernando S Parreiras @fparreiras A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams http://t.co/J3nIR3w6 17 Dec 2011 Reply Repost Favourite