From: Markus Triska <triska@metalevel.at>
Date: Wed, 8 Mar 2023 22:32:05 +0000 (+0100)
Subject: use string notation as discussed on #scryer IRC
X-Git-Tag: v0.9.2~169^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=21acb9361a624a190b3256b8d18759afedc358af;p=scryer-prolog.git

use string notation as discussed on #scryer IRC
---

diff --git a/src/lib/lists.pl b/src/lib/lists.pl
index 5eef37c2..a037fd85 100644
--- a/src/lib/lists.pl
+++ b/src/lib/lists.pl
@@ -67,14 +67,12 @@ resource_error(Resource, Context) :-
 % to create a list full of free variables with N length.
 %
 % ```
-% ?- length([a,b,c], 3).
+% ?- length("abc", 3).
 %    true.
-% ?- length([a,b,c], N).
+% ?- length("abc", N).
 %    N = 3.
 % ?- length(Xs, 3).
 %    Xs = [_A, _B, _C].
-% ?- length("chars", N).
-%    N = 5.
 % ```
 
 length(Xs0, N) :-