Ho un MacBookPro con macOS Sierra v.10.12.1. Ho scaricato gprolog da questo link e ho installato questo utilizzando MacPorts.
Ora, dato che Prolog non funziona come volevo, ho deciso di rimuoverlo, ma non so come.
Ho provato a rimuoverlo usando Homebrew, eseguendo:
:~ dario$ brew remove gprolog
ma questo mi dà
Error: No such keg: /usr/local/Cellar/gprolog
Se eseguo il comando gprolog nel terminale, mi dà
-bash: gprolog: command not found
L'unico modo per eseguire gprolog è scrivere gprolog in Spotlight e fare clic sull'icona di gprolog.
Ho anche provato a eseguire which gprolog e whereis gprolog , senza risultati.
Come posso disinstallare gprolog dal mio Mac?
