From bb49b7add4e63f8cb10130ed860107e5eda95018 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Mon, 30 Nov 2015 15:09:07 +0100
Subject: Reformat Prolog test cases with lists

---
 prolog/problems/lists/conc_3/common.py  | 6 +++---
 prolog/problems/lists/count_3/common.py | 6 +++---
 prolog/problems/lists/del_3/common.py   | 4 ++--
 prolog/problems/lists/memb_2/common.py  | 2 +-
 prolog/problems/sets/union_3/common.py  | 8 ++++----
 5 files changed, 13 insertions(+), 13 deletions(-)

(limited to 'prolog')

diff --git a/prolog/problems/lists/conc_3/common.py b/prolog/problems/lists/conc_3/common.py
index fd6fb9f..6efac47 100644
--- a/prolog/problems/lists/conc_3/common.py
+++ b/prolog/problems/lists/conc_3/common.py
@@ -16,11 +16,11 @@ conc([H|T], L2, [H|L]) :-
 '''
 
 test_cases = [
-    ('conc([j,b], [l], X)',
+    ('conc([j, b], [l], X)',
         [{'X': '[j, b, l]'}]),
-    ('conc([a,r,u,e], [c,f], X)',
+    ('conc([a, r, u, e], [c, f], X)',
         [{'X': '[a, r, u, e, c, f]'}]),
-    ('conc(X, [], [g,r])',
+    ('conc(X, [], [g, r])',
         [{'X': '[g, r]'}]),
     ('conc([], [], [])',
         [{}]),
diff --git a/prolog/problems/lists/count_3/common.py b/prolog/problems/lists/count_3/common.py
index 423bb1e..c257d66 100644
--- a/prolog/problems/lists/count_3/common.py
+++ b/prolog/problems/lists/count_3/common.py
@@ -22,11 +22,11 @@ count(X, [Y|T], NT) :-
 test_cases = [
     ('count(a, [], X)',
         [{'X': '0'}]),
-    ('count(r, [a,r,b,c,r], X)',
+    ('count(r, [a, r, b, c, r], X)',
         [{'X': '2'}]),
-    ('count(l, [l,l,l,1,2,3], X)',
+    ('count(l, [l, l, l, 1, 2, 3], X)',
         [{'X': '3'}]),
-    ('count(z, [a,b,c,z,z], X)',
+    ('count(z, [a, b, c, z, z], X)',
         [{'X': '2'}]),
 ]
 
diff --git a/prolog/problems/lists/del_3/common.py b/prolog/problems/lists/del_3/common.py
index cf458b1..5e00f4d 100644
--- a/prolog/problems/lists/del_3/common.py
+++ b/prolog/problems/lists/del_3/common.py
@@ -18,9 +18,9 @@ del(X, [Y|T], [Y|L]) :-
 test_cases = [
     ('del(1, [1], X)',
         [{'X': '[]'}]),
-    ('del(X, [t,e,g], [t,g])',
+    ('del(X, [t, e, g], [t, g])',
         [{'X': 'e'}]),
-    ('del(X, [Y,g,Z], [u,f])',
+    ('del(X, [Y, g, Z], [u, f])',
         [{'X': 'g', 'Y': 'u', 'Z': 'f'}]),
 ]
 
diff --git a/prolog/problems/lists/memb_2/common.py b/prolog/problems/lists/memb_2/common.py
index 0704a50..30a6dfd 100644
--- a/prolog/problems/lists/memb_2/common.py
+++ b/prolog/problems/lists/memb_2/common.py
@@ -18,7 +18,7 @@ memb(X, [_|T]) :-
 test_cases = [
     ('memb(c, [X])',
         [{'X': 'c'}]),
-    ('memb(X, [y,l,r,g,a])',
+    ('memb(X, [y, l, r, g, a])',
         [{'X': 'y'}, {'X': 'l'}, {'X': 'r'}, {'X': 'g'}, {'X': 'a'}]),
 ]
 
diff --git a/prolog/problems/sets/union_3/common.py b/prolog/problems/sets/union_3/common.py
index 807bce6..506913a 100644
--- a/prolog/problems/sets/union_3/common.py
+++ b/prolog/problems/sets/union_3/common.py
@@ -24,13 +24,13 @@ union([H|T], S2, U) :-
 '''
 
 test_cases = [
-    ('union([], [3,2,5,1], A), msort(A, X)',
+    ('union([], [3, 2, 5, 1], A), msort(A, X)',
         [{'X': '[1, 2, 3, 5]'}]),
-    ('union([3,2,5,1], [], A), msort(A, X)',
+    ('union([3, 2, 5, 1], [], A), msort(A, X)',
         [{'X': '[1, 2, 3, 5]'}]),
-    ('union([3,2,5,1], [8,4,2,3,5,1,9], A), msort(A, X)',
+    ('union([3, 2, 5, 1], [8, 4, 2, 3, 5, 1, 9], A), msort(A, X)',
         [{'X': '[1, 2, 3, 4, 5, 8, 9]'}]),
-    ('union([2,3,5,1,9], [3,0,9,5,6], A), msort(A, X)',
+    ('union([2, 3, 5, 1, 9], [3, 0, 9, 5, 6], A), msort(A, X)',
         [{'X': '[0, 1, 2, 3, 5, 6, 9]'}]),
 ]
 
-- 
cgit v1.2.1