Comment by agumonkey

I knew a team trying to bridge that gap by including prolog query engines for UML models. Don't know how far it went.