A simple and extensible SWI-Prolog server.