Sparql in rules

implementation of sparql in rules, in backward mode