Swiprolog Download For Mac

Binaries; 11,825,869 bytes: SWI-Prolog 8.2.3-1 for Microsoft Windows (64 bit). Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits versi. Similar Software for Mac. Install Pd on Mac OSX; Install WireOver on Mac OSX; Install CLion on Mac OSX; Install Zipeg on Mac OSX; Install Zoom.us on Mac OSX; Install YY on Mac OSX; Install Zoho Docs on Mac OSX; Install ZeroTier One on Mac OSX; Install Zotero on Mac OSX; Install Zed on Mac OSX. Find SWI-Prolog software downloads at CNET Download.com, the most comprehensive source for safe, trusted, and spyware-free downloads on the Web.

Last updated: Oct 31, 2018, homebrew

Using Macports

Building SWI-Prolog for MacOS requiresMacports. In general, the Portfiles arekept nicely up-to-date thanks to Paulo Moura. If you are a Macportuser, SWI-Prolog can be installed simply using one of the commandsbelow. The first installs the `stable' version and the second the`development' version. Note that most of the time developers arebetter of using the development version.

If you like to keep nice and lean system (i.e., if you do not wantMacports copies of X11, ODBC, etc), you still need to install severalprerequisites. First:

  1. Xcode (can be installed as a free app from the appstore)
  2. Macports (download from http://www.macports.org/)
  3. X11 (download from http://xquartz.macosforge.org/landing/)

Next, you must install the following Macport libraries for a complete build.

Online diff tool for mac. Notes

  • If you want JPL (the Java interface) you can also install the Oracle JDK. AsOracle gets increasingly annoying about agreeing with their license and as ofversion 10 creating an account with Oracle, we switched to OpenJDK. Versionsbefore 9 have a bug that causes the Mac to think you have no JRE when accessingJava through JNI.

Next, you can download SWI-Prolog as a sourcearchive or using GIT. After installing all dependencies SWI-Prolog can be build according tothe generic instructions using cmake that can befoundhere

Using Homebrew

Homebrew provides an alternative to Macports.The command below installs the latest stable version of SWI-Prolog:

The latest git version of SWI-Prolog can be installed with this command:

(contributed by Rinke Hoekstra)

Building from source using Homebrew for dependencies


As of version 7.7.21 the SWI-Prolog sources are fully compatible forbuilding with dependencies provided by Homebrew. The dependencies can beinstalled using

Brew does not provide junit.jar which is needed to run the JPL (Javainterface) tests. If you want to test this get junit.jar as describedin https://github.com/junit-team/junit4/wiki/download-and-install andinstall in /usr/local/share/java/junit.jar.

After installing all dependencies SWI-Prolog can be build according tothe generic instructions using cmake that can befoundhere

About the App

Swi Prolog Download For Mac

  • App name: SWI-Prolog
  • App description: swi-prolog (App: SWI-Prolog.app)
  • App website: http://www.swi-prolog.org/

Install the App

  1. Press Command+Space and type Terminal and press enter/return key.
  2. Run in Terminal app:
    ruby -e '$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)' < /dev/null 2> /dev/null ; brew install caskroom/cask/brew-cask 2> /dev/null
    and press enter/return key.
    If the screen prompts you to enter a password, please enter your Mac's user password to continue. When you type the password, it won't be displayed on screen, but the system would accept it. So just type your password and press ENTER/RETURN key. Then wait for the command to finish.
  3. Run:
    brew cask install swi-prolog

Done! You can now use SWI-Prolog.

Swi-prolog Download For Macbook Pro

Similar Software for Mac