Tengo un MacBookPro con macOS Sierra v.10.12.1. Descargué gprolog de este enlace y lo instalé utilizando MacPorts.
Ahora, dado que Prolog no funciona como quería, decidí eliminarlo, pero no sé cómo.
Traté de eliminarlo usando Homebrew, ejecutando:
:~ dario$ brew remove gprolog
pero esto me da
Error: No such keg: /usr/local/Cellar/gprolog
Si ejecuto el comando gprolog en la terminal, me da
-bash: gprolog: command not found
La única forma en que tengo que ejecutar gprolog es escribiendo gprolog en Spotlight y haciendo clic en el icono de gprolog.
También intenté ejecutar which gprolog y whereis gprolog , sin ningún resultado.
¿Cómo puedo desinstalar gprolog de mi Mac?
