some lesson notes for prolog