PrologAndMaude Prolog and Maude sesions For academical use. Signature: "logical and functional programming" National University of Colombia, Medellin.