SWI-Prolog Did You Know Did you know? Janus provides a rich and fast bi-directional interface to Python Search Documentation:
Predicate list_difference_eq/3