pyswip is a one-way python-to-SWI-prolog interface; there's also a first-party (maintained as part of SWI-prolog), two-way one called janus-swi. https://pypi.o

pyswip is a one-way python-to-SWI-prolog interface; there's also a first-party (maintained as part of SWI-prolog), two-way one called janus-swi. https://pypi.org/project/janus-swi/ https://pypi.org/project/janus-swi/ https://www.swi-prolog.org/pldoc/man?section=janus-call-prolog https://www.swi-prolog.org/pldoc/man?section=janus-call-prol...