From: Jason Hemann Date: Wed, 11 Dec 2024 10:46:28 +0000 (-0500) Subject: Update builtins.pl X-Git-Tag: v0.10.0~98^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e219e1c483b6b7960e0d8fd48558b1efc4e88bce;p=scryer-prolog.git Update builtins.pl Simplifying docstring. --- diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl index e2513cc4..aecfb572 100644 --- a/src/lib/builtins.pl +++ b/src/lib/builtins.pl @@ -768,8 +768,7 @@ read(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. +% Same as read_term/3 with all default options. read(Stream, Term) :- read_term(Stream, Term, []).