Showing posts with label Logic programming. Show all posts
Showing posts with label Logic programming. Show all posts

Saturday, October 29, 2016

macOS Sierra: Installing SWI-Prolog

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