Traductor de TVL a GNUProlog con algunas limitaciones sintacticas