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
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:
- Xcode (can be installed as a free app from the appstore)
- Macports (download from http://www.macports.org/)
- 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
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
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
Command+Spaceand type Terminal and press enter/return key.
- 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.
brew cask install swi-prolog
Done! You can now use SWI-Prolog.