Seol mar théacs é seo: Introducción a los lenguajes prolog y lisp