Invia SMS: Logic programming. Prolog and ist applications :