Understanding Rulelog Computations in Silk - Andersen, Carl (arXiv.org)