SWI-Prolog Solutions b.v. provides services related to SWI-Prolog, an open source (BSD-2) implementation of the Prolog programming language.

SWI-Prolog Solutions b.v. is founded by the lead developer of SWI-Prolog, Jan Wielemaker.