E SWI-Prolog License Conditions and Tools

SWI-Prolog licensing aims at a large audience, combining ideas from the Free Software Foundation and the less principal Open Source Initiative. The license aims at:

To achieve this, different parts of the system have different licenses. SWI-Prolog programs consists of a mixture of `native' code (source compiled to machine instructions) and `virtual machine' code (Prolog source compiled to SWI-Prolog virtual machine instructions, covering both compiled SWI-Prolog libraries and your compiled application).

For maximal coherence between free licenses, we start with the two prime licenses from the Free Software Foundation, the GNU General Public License (GPL) and the Lesser GNU General Public License (LGPL), after which we add a proven (used by the GNU-C compiler runtime library as well as the GNU ClassPath project) exception to deal with the specific nature of compiled virtual machine code in a saved state.

Section Index

E.1 The SWI-Prolog kernel and foreign libraries
E.1.1 The SWI-Prolog Prolog libraries
E.2 Contributing to the SWI-Prolog project
E.3 Software support to keep track of license conditions
E.4 Library predicates
E.4.1 library(aggregate)
E.4.2 library(apply)
E.4.3 library(assoc)
E.4.4 library(broadcast)
E.4.5 library(check)
E.4.6 library(lists)
E.4.7 library(option)
E.4.8 library(ordsets)
E.4.9 library(prologxref)
E.4.10 library(pairs)
E.4.11 library(pio)
E.4.11.1 library(pure_input)
E.4.12 library(readutil)
E.4.13 library(record)
E.4.14 library(registry)
E.4.15 library(ugraphs)
E.4.16 library(url)
E.4.17 library(www_browser)
E.4.18 library(clp/clp_distinct)
E.4.19 library(clp/clpfd)
E.4.20 library(clpqr)
E.4.21 library(clp/simplex)