Prolog Arithmetic Queries

?- N is 1+1.
?- N is 1+1, P is N*2, Q is P+P.
?- N is X+1.
?- I is I+1.
?- I is 6, I is I+1.  /* Creates an error */
?- I is 6, J is I+1.