Fork: Use SWI-Prolog from Python.