MQ-2 A Tool for Prolog-based Model Querying

MQ-2 integrates a Prolog console into the MagicDraw modeling environment and equips this console with features targeted specifically to the task of querying models. The vision of MQ-2 is to make Prolog-based model querying accessible to both student and expert modelers by offering powerful query features and a tight integration with the host modeling environment.