浏览代码

Import exercice 2 from TD1

DricomDragon 5 年之前
父节点
当前提交
8e298921d6
共有 1 个文件被更改,包括 3 次插入0 次删除
  1. 3 0
      td/td1/asp2.lp

+ 3 - 0
td/td1/asp2.lp

@@ -0,0 +1,3 @@
+q(1..5).
+t(11..15).
+2{r(U):q(U); s(V):t(V)}4.