Merge pull request #3336 from 0nkery/fix-between-doc

fix var mode in between/3 documentation
This commit is contained in:
Mark Thom
2026-05-22 23:04:05 -06:00
committed by GitHub

View File

@@ -12,7 +12,7 @@ integers that may also be interesting.
:- use_module(library(lists), [length/2]). :- use_module(library(lists), [length/2]).
:- use_module(library(error)). :- use_module(library(error)).
%% between(+Lower, +Upper, -X). %% between(+Lower, +Upper, ?X).
% %
% Given Lower and Upper are both integer numbers, true iff X is an integer so that _Lower =< X =< Upper_. % Given Lower and Upper are both integer numbers, true iff X is an integer so that _Lower =< X =< Upper_.
% Can be used both to check if X is between Lower and Upper or to generate an integer between % Can be used both to check if X is between Lower and Upper or to generate an integer between