SWI-Prolog Did You Know Did you know? SWI-Prolog talks to R Search Documentation:
Predicate in/1