From b9d200d296d362b2f3191ac8f2164a0bbc79b2a6 Mon Sep 17 00:00:00 2001
From: Syndamia <kamen@syndamia.com>
Date: Tue, 7 Nov 2023 20:58:46 +0200
Subject: [LP] Solved some example exercises

---
 Year 3/Logical Programming/test.pdb | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 Year 3/Logical Programming/test.pdb

diff --git a/Year 3/Logical Programming/test.pdb b/Year 3/Logical Programming/test.pdb
new file mode 100644
index 0000000..1da0a1f
--- /dev/null
+++ b/Year 3/Logical Programming/test.pdb	
@@ -0,0 +1,31 @@
+% четно_позиционирани, нечетно_позиционирани
+
+even_elements([], []).
+even_elements([_,B|X], [B|Y]) :- even_elements(X, Y).
+
+odd_elements([], []).
+odd_elements([_], [_]).
+odd_elements([A,_|X], [A|Y]) :- odd_elements(X, Y).
+
+% p(X,Y)
+
+swap_odd_even(X, Y) :- even_elements(X, W), odd_elements(Y, W),
+                       odd_elements(X, Z), even_elements(Y, Z).
+
+% Кои са всички триелементни списъци, които съдържат а, б и в?
+
+is_combination(_, []).
+is_combination(X, [B|W]) :- member(B, X), is_combination(X, W).
+
+% пермутация(X, Y)
+
+ins_elem(X, A, [A|X]).
+ins_elem([B|X], A, [B|Y]) :- ins_elem(X, A, Y).
+
+rm_elem([A|X], A, X).
+rm_elem([B|X], A, [B|Y]) :- rm_elem(X, A, Y).
+
+perm([], []).
+perm([_|_], []) :- false.
+perm([], [_|_]) :- false.
+perm(X, [B|Y]) :- member(B, X), rm_elem(X, B, W), perm(W, Y).
-- 
cgit v1.3.1-23-gd82d