From: Jason Hemann Date: Wed, 11 Dec 2024 02:18:09 +0000 (-0500) Subject: Documentation for read/2 X-Git-Tag: v0.10.0~98^2~1 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=eef9f74a68a21af4a9572cf8bcc4057d8073bd0a;p=scryer-prolog.git Documentation for read/2 Mirrored the wording in the docstrings for `read/1` and `read_term/3`. --- diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl index b6263218..e2513cc4 100644 --- a/src/lib/builtins.pl +++ b/src/lib/builtins.pl @@ -766,6 +766,10 @@ read(Term) :- read_term(Stream, Term, []). % read(Stream, Term). +%% read(+Stream, -Term). +% +% Read Term from the stream Stream with default options. **NOTE** This is not a general predicate +% to read input from a file or the user. Use other predicates like `phrase_from_file/2` for that. read(Stream, Term) :- read_term(Stream, Term, []).