From 3e22bbb0b50d289036a9999faae90694d653141a Mon Sep 17 00:00:00 2001 From: Andrew Guschin Date: Sat, 3 Aug 2024 18:24:15 +0400 Subject: final --- task6.pro | 7 +++---- 1 file 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. -- cgit v1.2.3