Get a deductive database for metamodeling with graphical user interface.