agosto 8th, 2023
Hola, Ahora bastante pronto… así es la vida.. INESPERADA!
Bueno, Hoy tenía la exposición de mi trabajo sobre APLI2 y LLMs, pero la realidad manda, y los dos estudiantes de máster tienen su fecha de entrega el próximo 19 (de agosto, sí).., y ellos eran prioridad.
Ya tengo hecha la presentación y la subiré cuando la presente dentro del grupo de trabajo. Antes me parece una descortesía.
En fin, creo que hay material SUFICIENTE para escribir un artículo de docencia y por supuesto para la charla que daré también en el seminario SIAUS, cuando corresponda. Usaré este último para darle los últimos retoques.
Saludos.
Posted in General | Comments Off on APLI2
agosto 5th, 2023
Hola de nuevo!
No estoy siendo muy constante… pero mucho más de lo que era antes, así que, voy a considerarlo un éxito (el que no se consuela es porque no quiere).
Hoy escribo para contar algo muuuuy breve, pero creo que, a la par, importante.
Últimos hitos conseguidos:
- Acabo de instalar, recompilando desde cero, Prover9 y Mace4 en mi MacBook Pro 2020- MacOs Ventura 13.4.1 – 22F82.
Creo que va bastante bien, y me va a servir por si quiero hacer más cosas con APLI2 y para empezar a hacer cosas con ABC.
- A principios de semana instalé una librería de Python para manejar Prolog, de manera bastante ágil desde Python.
La librería se llama PySwip y la instalación no ha estado libre de problemas. De hecho, en el Mac parece ser que trae un bug de fábrica… y no se debe de instalar con el método habitual de pip. Si lo has hecho y no te va, desinstálalos y prueba a hacer esto:
python3 -mpip install git+https://github.com/yuce/pyswip@master#egg=pyswip --user
Además de meter 2 lineas en el ~/.zshrc
export PATH=$PATH:/Applications/SWI-Prolog.app/Contents/MacOS
export DYLD_FALLBACK_LIBRARY_PATH=/Applications/SWI-Prolog.app/Contents/Frameworks
Bueno… y por último, me han ofrecido pertenecer oficialmente al proyecto ABC de la Universidad de Edinburgh… TODO UN ORGULLO (no hay que explicar que acepté…no?)
Saludos.
Gonzalo
Posted in Investigación, Lógica, Verificación | Comments Off on Algunos detalles