coop/rose-ash
1
0
Fork 0
Code Issues Pull Requests Actions 15 Packages Projects Releases Wiki Activity

prolog: append.pl + append.sx classic, 6 tests (build/check/split/deduce)
Some checks failed
Test, Build, and Deploy / test-build-deploy (push) Has been cancelled
Details

Browse Source
This commit is contained in:
giles
2026-04-25 03:58:12 +00:00
parent 7fb4c52159
commit ffc3716b0e
3 changed files with 121 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
lib/prolog/tests/programs/append.pl Normal file
View File

@@ -0,0 +1,5 @@
%% append/3 — list concatenation, classic Prolog
%% Two clauses: empty-prefix base case + recursive cons-prefix.
%% Bidirectional — works in all modes: build, check, split.
append([], L, L).
append([H|T], L, [H|R]) :- append(T, L, R).