SWI-Prolog - Users and developers of SWI-Prolog, an implementation of the Prolog programming language