Command:
$ brew install swi-prolog
Result:
==> Auto-updated Homebrew!
Updated 2 taps (homebrew/core, homebrew/python).
==> Updated Formulae
flow homebrew/python/pyrit sbt ✔
==> Downloading https://homebrew.bintray.com/bottles/swi-prolog-7.2.3_1.sierra.bottle.tar.g
######################################################################## 100.0%
==> Pouring swi-prolog-7.2.3_1.sierra.bottle.tar.gz
🍺 /usr/local/Cellar/swi-prolog/7.2.3_1: 801 files, 17.6M
