Primera versión ejecutable de PROLogic 2019 en [[http://webs.um.es/mariancv/PROLogic/PROLogic.exe|PROLogic]] La descripción del lenguaje, sus fundamentos teóricos, el análisis de complejidad de las diferentes consultas y una evaluación de su aplicación a un ejemplo real acerca del contagio persona a persona de la Gripe Aviar, se pueden consultar en http://dx.doi.org/10.12732/ijam.v32i4.10. Código de la segunda versión FTCProlog 2024 en https://github.com/mariantocv/FTCProlog