A prolog RDF knowledge system.