RTEC: Cálculo de Eventos en Tiempo de Ejecución
RTEC es un dialecto de Cálculo de Eventos de código abierto optimizado para el razonamiento sobre flujos de datos. Está escrito en Prolog y ha sido probado bajo SWI-Prolog en Linux, MacOS y Windows.
Licencia
RTEC se ofrece SIN NINGUNA GARANTÍA. Este es un software libre, y puede redistribuirlo bajo ciertas condiciones; consulte la Licencia Pública General Reducida de GNU v3 para más detalles.
Documentación
Última documentación.
Retroalimentación
Para más información y comentarios, no dude en enviarnos un correo electrónico o agregar un issue en este repositorio.
Software Relacionado
- iRTEC: RTEC incremental. iRTEC soporta razonamiento incremental, manejando eficientemente los retrasos y retractaciones en flujos de datos.
- oPIEC: Cálculo de Eventos Basado en Intervalos Probabilísticos en Línea. oPIEC soporta razonamiento del Cálculo de Eventos sobre flujos de datos bajo incertidumbre.
- Wayeb: Wayeb es un motor de Procesamiento y Pronóstico de Eventos Complejos (CEP/F) escrito en Scala. Está basado en autómatas simbólicos y modelos de Markov.