瀏覽代碼

Second version of polys

DricomDragon 5 年之前
父節點
當前提交
d25755347a
共有 1 個文件被更改,包括 2 次插入2 次删除
  1. 2 2
      tp/1/poly.lp

+ 2 - 2
tp/1/poly.lp

@@ -1,2 +1,2 @@
-% Define
-p(N, N*N + N + 41) :- N=0..10.
+% Should display from q(0) to q(10) included
+q(N,N*N+N+41) :- N+1=1..11.