Tutoriais introdução a teste unitário em Prolog e Haskell