written some lines about prolog