What is “swi-prolog” Package?

ISO/Edinburgh-style Prolog interpreter
For more details: http://www.swi-prolog.org/

Installation

  • Open Terminal by pressing command+space then type terminal and hit Enter key.
  • Install homebrew first.
    ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)" < /dev/null 2> /dev/null
  • Install swi-prolog.
    brew install swi-prolog

Now, use swi-prolog!