Did you know ... Search Documentation:
library(prolog_trace): Print access to predicates