SMS dit: Programación en Prolog