summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--task6.pro7
1 files changed, 3 insertions, 4 deletions
diff --git a/task6.pro b/task6.pro
index 7d85eb3..4d77a89 100644
--- a/task6.pro
+++ b/task6.pro
@@ -25,12 +25,11 @@ nneg([H|T], [H|N]) :- nneg(T, N).
?- nl, nl, writeln("Задание 2/9:").
разбиение_списка([], [], []).
-разбиение_списка([H|T], [H|L1], L2) :- разбиение_списка2(T, L1, L2).
-
-разбиение_списка2([], [], []).
-разбиение_списка2([H|T], L1, [H|L2]) :- разбиение_списка(T, L1, L2).
+разбиение_списка([X], [X], []).
+разбиение_списка([H,H2|T], [H|L1], [H2|L2]) :- разбиение_списка(T, L1, L2).
?- разбиение_списка([], L1, L2), write(L1), writeln(L2).
?- разбиение_списка([1, 2, 3, 4, 5, 6, 7, 8], L1, L2), write(L1), writeln(L2).
+?- разбиение_списка([1, 2, 3, 4, 5, 6, 7], L1, L2), write(L1), writeln(L2).
?- halt.