RDF schema to prolog compiler