I remind that I created Ada2012 bindings for Raptor and Rasqal. After some reading docs, I realized that the right way to do SPARQL queries is by using librdf_query_execute() rather than directly rasqal_query_execute(). (Right?) So I am going to write Ada2012 bindings for Redland, too.