From 65b0beb911229349325fc0ca8e7049b741ef0f91 Mon Sep 17 00:00:00 2001 From: Jorge Gomez Date: Wed, 15 Jan 2025 17:28:17 -0600 Subject: [PATCH 1/3] Add checking mode example for append --- src/lib/lists.pl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/lib/lists.pl b/src/lib/lists.pl index 3d1cc6a2f..bf8050e33 100644 --- a/src/lib/lists.pl +++ b/src/lib/lists.pl @@ -162,6 +162,8 @@ % ``` % ?- append([1,2,3], [4,5,6], Xs). % Xs = [1,2,3,4,5,6]. +% ?- append([1,2,3], [4,5,6], [1,2,3,4,5,6]). +% true. % ``` append([], R, R). append([X|L], R, [X|S]) :- append(L, R, S). From d8685cfdf940efffb59343e650c7f77f42452434 Mon Sep 17 00:00:00 2001 From: Jorge Gomez Date: Thu, 16 Jan 2025 16:16:29 -0600 Subject: [PATCH 2/3] Add string examples for append/3 Co-authored-by: Markus Triska --- src/lib/lists.pl | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/lib/lists.pl b/src/lib/lists.pl index bf8050e33..c7cd5d93a 100644 --- a/src/lib/lists.pl +++ b/src/lib/lists.pl @@ -164,6 +164,10 @@ % Xs = [1,2,3,4,5,6]. % ?- append([1,2,3], [4,5,6], [1,2,3,4,5,6]). % true. +% ?- append("Scr", "yer", "Scryer"). +% true. +% ?- append("Scr", "yer", Xs). +% Xs = "Scryer". % ``` append([], R, R). append([X|L], R, [X|S]) :- append(L, R, S). From a17e52981803bb48ca04d1860b9260c614660f29 Mon Sep 17 00:00:00 2001 From: jgart Date: Thu, 16 Jan 2025 18:20:28 -0600 Subject: [PATCH 3/3] Improve the description of append/3 to convey its generality --- src/lib/lists.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/lists.pl b/src/lib/lists.pl index c7cd5d93a..b9866e71c 100644 --- a/src/lib/lists.pl +++ b/src/lib/lists.pl @@ -157,7 +157,7 @@ %% append(Xs0, Xs1, Xs). % -% List Xs is the concatenation of Xs0 and Xs1 +% True if list Xs is the concatenation of Xs0 and Xs1 % % ``` % ?- append([1,2,3], [4,5,6], Xs).