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