Zaslat SMS: Logic Programming with Prolog