From c3477d8476dde6341b279c6399cb7a798df04190 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Wed, 8 Mar 2023 23:31:02 +0100 Subject: [PATCH] items --> elements This addresses #1740. --- 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 1bdaf61e..5eef37c2 100644 --- a/src/lib/lists.pl +++ b/src/lib/lists.pl @@ -63,7 +63,7 @@ resource_error(Resource, Context) :- %% length(?Xs, ?N). % -% Relates a list to its length (number of items). It can be used to count the elements of a current list or +% Relates a list to its length (number of elements). It can be used to count the elements of a current list or % to create a list full of free variables with N length. % % ``` -- 2.54.0