summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-11-30 15:09:07 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-11-30 15:09:07 +0100
commitbb49b7add4e63f8cb10130ed860107e5eda95018 (patch)
tree3c811ed7076284db2ebdcee3d2ffcfb0b5f06411
parent8d7d287e088068c661a241f88cf70412b5121a58 (diff)
Reformat Prolog test cases with lists
-rw-r--r--prolog/problems/lists/conc_3/common.py6
-rw-r--r--prolog/problems/lists/count_3/common.py6
-rw-r--r--prolog/problems/lists/del_3/common.py4
-rw-r--r--prolog/problems/lists/memb_2/common.py2
-rw-r--r--prolog/problems/sets/union_3/common.py8
5 files changed, 13 insertions, 13 deletions
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]'}]),
]