RSS

swi-prolog: A Prolog System1

SWI-Prolog is a prolog compiler with an interactiv textinterface based on GNU-readline, targeting primarily at research and education.

SWI-Prolog comes with a comprehensive set of built-in predicates, covering Edinburgh Prolog, and large parts of The ISO standard, Quintus and SICStus Prolog. It includes the XPCE GUI toolkit as well as packages for dealing with processes, TCP/IP connections, XML, SGML and RDF documents. There are interfaces for C and C++.

... part of T2, get it here

URL: https://www.swi-prolog.org/

Author: Jan Wielemaker <jan [at] swi-prolog [dot] org>
Maintainer: Lars Kuhtz <lars [at] exactcode [dot] de>

License: GPL
Status: Stable
Version: 9.2.9

Remark: Does not allow parallel builds.
Remark: Does cross compile (as setup and patched in T2).

Download: https://www.swi-prolog.org/download/stable/src/ swipl-9.2.9.tar.gz

T2 source: swi-prolog.cache
T2 source: swi-prolog.desc

Build time (on reference hardware): 60% (relative to binutils)2

Installed size (on reference hardware): 34.30 MB, 2224 files

Dependencies (build time detected): bash bdb binutils ccache cmake coreutils diffutils dmalloc fontconfig freetype gawk gmp grep gzip libarchive libedit libice libjpeg libsm libx11 libxcrypt libxft libxinerama libxpm libxrandr libxrender libxt libyaml linux-header make ncurses openssl pcre2 pkgconfig python readline sed tar tbb xorgproto zlib

Installed files (on reference hardware): [show]

1) This page was automatically generated from the T2 package source. Corrections, such as dead links, URL changes or typos need to be performed directly on that source.

2) Compatible with Linux From Scratch's "Standard Build Unit" (SBU).

Generated: in 0.09s — Copyright ©2004-2025 ExactCODE GmbH and others. All Rights Reserved. The T2 SDE Project is maintained
and driven by the community and sponsored by ExactCODE. This is a community maintained site. ExactCODE is not responsible for the content.