瀏覽代碼

Improve declaration of multiples

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

+ 1 - 1
tp/1/multi.lp

@@ -1,2 +1,2 @@
 % Define
-p(1,2; 2,4; 4,8; 8,16).
+p(M2, M4) :- M1 = 1..4, M2 = 2 * M1, M4 = 4 * M1.