SMS versenden: Understanding Rulelog Computations in Silk