瀏覽代碼

Add different uses of range

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

+ 6 - 0
tp/1/multi.lp

@@ -1,2 +1,8 @@
 % Define
 p(M2, M4) :- M1 = 1..4, M2 = 2 * M1, M4 = 4 * M1.
+
+q(M1, S) :- M1 = 0..4, S = -1 ** M1.
+
+l(K, I) :- K = 1..4, I = 1..K.
+
+r(1..2,1..4). r(1..4,1..2).