asdf-swiprolog

Swiprolog plugin for asdf version manager

Install

asdf plugin-add swiprolog https://github.com/mracos/asdf-swiprolog.git

Use

Check asdf readme for instruct on how to install & manage versions of Swi-Prolog

Before asdf install

Dependencies

• For versions after 7.7.21-devel you'll need cmake, since swiprolog started to ship with CMakeLists.txt instead of with a ./configure script

MacOS (can install with macports)

• gmp
• jpeg
• libarchive
• libiconv
• libmcrypt
• ncurses
• openssl
• ossp-uuid
• pkgconfig
• readline
• zlib
• pcre
• libedit

Linux

On linux you need these ones

⚠️

• By default it installs without the java_interface (jpl) and without the graphics_subsystem (xpce)