Want to understand better how swi prolog works

See: Useful Prolog references