SWI-Prolog Did You Know Did you know? Janus-swi lets you embed SWI-Prolog in Python Search Documentation:
Predicate current_test_unit/2