SMS: Programación en Prolog