SMS dit: Introducción a los lenguajes prolog y lisp