add some exercises of logic programms