add notes for Learn Prolog Now! Ch. 3