Basic tutorial on Prolog