SMS versenden: Logic Programming and Databases