That is just part of the SPARQL implementation. It compiles the query to a Prolog goal, then reorders it and finally it executes. I wrote some ICLP paper about it long ago 
That is just part of the SPARQL implementation. It compiles the query to a Prolog goal, then reorders it and finally it executes. I wrote some ICLP paper about it long ago