Describir: Transformacion de programas logicos : algoritmos de casamiento de cadenas