solo falta las reglas en prolog y la fuciones que las van a llamar