Home

The lang/swi-prolog port

swi-prolog-9.2.6 – Prolog for the real world (cvsweb github mirror)

Description

SWI-Prolog started life in 1986 as a Prolog in the Edinburgh tradition.
Its development has been guided from the very beginning by the desire to
build large scale applications in Prolog. For this reason it stresses
connectivity to the C-language, few system limits, comprehensive memory
management, modules, multi-threading, coroutining, constraints and a
fast and interactive development environment. Portable libraries for
graphics, databases, networking, web-services, XML, RDF and many more
complete the system.

SWI-Prolog is compliant to part one of ISO standard Prolog. In addition
it provides functionality compatible to Quintus, SICStus, LPA, Ciao and
many more.
WWW: http://www.swi-prolog.org/

Maintainer

Edd Barrett

Broken

on hppa: undefined reference to __sync_fetch_and_add_4

on sparc64: infinite loop or aborts during build

Categories

lang

Library dependencies

Build dependencies

Files

Search