diff options
| author | Andrew Guschin <guschin@altlinux.org> | 2024-08-03 18:24:15 +0400 |
|---|---|---|
| committer | Andrew Guschin <guschin@altlinux.org> | 2024-08-03 18:24:15 +0400 |
| commit | 3e22bbb0b50d289036a9999faae90694d653141a (patch) | |
| tree | 7068213ab5e530a6b5f02629b51dde2e62818306 | |
| parent | 1181b4b4e76189a41bc89a4d9d240795f996b349 (diff) | |
| -rw-r--r-- | task6.pro | 7 |
1 files changed, 3 insertions, 4 deletions
@@ -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. |