瀏覽代碼

Third version of polys generation

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

+ 1 - 1
tp/1/poly.lp

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