Fix library(http/http_server) docs. Other minor fixes

This commit is contained in:
Adrián Arroyo Calle
2023-01-28 16:00:27 +01:00
parent 1118b37c92
commit 4110cfcfcb
3 changed files with 35 additions and 28 deletions

View File

@@ -73,6 +73,8 @@ resource_error(Resource, Context) :-
% N = 3.
% ?- length(Xs, 3).
% Xs = [_A, _B, _C].
% ?- length("chars", N).
% N = 5.
% ```
length(Xs0, N) :-