poly.lp 40 B

12
  1. % Define
  2. p(N, N*N + N + 41) :- N=0..10.