SWI-Prolog Did You Know Did you know? SWI-Prolog runs on Android Termux Search Documentation:
Predicate incr_trans_depends/2