A server for remote execution of SWI-Prolog queries.