tutorial on Prolog programming
