A Logic Programming Approach to Scientific Workflow Provenance Querying · Study