Browse Source

Import example code from lesson slides

DricomDragon 5 năm trước cách đây
mục cha
commit
c132e5874f
2 tập tin đã thay đổi với 10 bổ sung0 xóa
  1. 5 0
      cm/lp1.lp
  2. 5 0
      cm/lp2.lp

+ 5 - 0
cm/lp1.lp

@@ -0,0 +1,5 @@
+a.
+b.
+c.
+q(b).
+p(X) :- q(X).

+ 5 - 0
cm/lp2.lp

@@ -0,0 +1,5 @@
+a.
+b.
+c.
+q(b).
+p(X) | r(X) :- q(X).