complete CH. 4 practical session for Learn Prolog Now