I am currently trying to figure out how to use the same operator and its related predicates across modules in swi-prolog. I have a 'main' file (ch20.pl) which I load from the swi-prolog interactiv...