succ/1 not defined. using succ/2. add.pl not working