Primera versión ejecutable de [[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.