Did you know? Janus-swi lets you embed SWI-Prolog in Python