From: Adrián Arroyo Calle Date: Wed, 21 Dec 2022 21:32:36 +0000 (+0100) Subject: Apply some feedback X-Git-Tag: v0.9.2~206^2~2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=21e4347b3efd3d33430e82ff3fcee856c678cd24;p=scryer-prolog.git Apply some feedback --- diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl index aef9b32b..d151912a 100644 --- a/src/lib/builtins.pl +++ b/src/lib/builtins.pl @@ -38,18 +38,18 @@ internal settings and basic I/O are all here. %% =(?X, ?Y) % -% Unify two variables. This is the most basic operation of Prolog. +% True if X and Y can be unified. This is the most basic operation of Prolog. % Unification also happens when doing head matching in a rule. X = X. %% true. % -% Always succeeds +% Always true. true. %% false. % -% Always fails +% Always false. false :- '$fail'. @@ -119,8 +119,9 @@ call(_, _, _, _, _, _, _, _, _). %% current_prolog_flag(Flag, Value) % -% Returns the current Value of several flags in the running system. A flag is a setting which value affects -% internal operation of the Prolog system. Some flags are read-only, while others can be set with set\_prolog\_flag/2. +% True iff Flag is a flag supported by the processor, and Value is the value currently associated with it. +% A flag is a setting which value affects internal operation of the Prolog system. Some flags are read-only, +% while others can be set with set\_prolog\_flag/2. % % The flags that Scryer Prolog support are: % * `max\_arity`: The max arity a predicate can have in Prolog. On Scryer is set to 1023. Read only. @@ -163,7 +164,7 @@ current_prolog_flag(Flag, _) :- %% set_prolog_flag(Flag, Value). % -% Changes the internal value of the flag. To see the list of flags supported by Scryer Prolog, +% Sets the internal value of the flag. To see the list of flags supported by Scryer Prolog, % check current\_prolog\_flag/2. The flags that are read only will fail if you try to change their values set_prolog_flag(Flag, Value) :- (var(Flag) ; var(Value)),