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

Como tiene que haber gente para todo… hay gente que hasta abandona su casa para dedicarse a aprender lógica…

En fin… Leerlo… que no tiene desperdicio.

Un genio vagabundo amante de la lógica, el padre incomprendido de la cibernética