SWI-Prolog Did You Know Did you know? This website's code is available Search Documentation:
Predicate #/\/2