rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove trailing whitespace in toplevel.pl

Browse Source
This commit is contained in:
bakaq
2024-10-01 21:58:59 -03:00
parent fdd6579230
commit 190929e4ac
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/toplevel.pl
View File

@@ -170,8 +170,8 @@ repl :-
%% Enable op declarations with lists of operands, i.e., %% Enable op declarations with lists of operands, i.e.,
%% :- op(900, fy, [$,@]). %% :- op(900, fy, [$,@]).
user:term_expansion((:- op(Pred, Spec, Ops)), OpResults) :- user:term_expansion((:- op(Pred, Spec, Ops)), OpResults) :-
ground(Ops), ground(Ops),
Ops = [Op | OtherOps], Ops = [Op | OtherOps],
expand_op_list([Op | OtherOps], Pred, Spec, OpResults). expand_op_list([Op | OtherOps], Pred, Spec, OpResults).
@@ -223,7 +223,7 @@ run_query(QueryChars, Callback_3, Options) :-
% - `final(exception(Exception))`, where `Exception` is the exception thrown % - `final(exception(Exception))`, where `Exception` is the exception thrown
% - `final(true)` % - `final(true)`
% - `final(leaf_answer(Bindings, ResidualGoals, VarNames))`, where: % - `final(leaf_answer(Bindings, ResidualGoals, VarNames))`, where:
% %
% - `Bindings` is a list of terms of the form `Var=Term`, where `Var` is a % - `Bindings` is a list of terms of the form `Var=Term`, where `Var` is a
% variable. % variable.
% - `ResidualGoals` is a list of the residual goals from the query. % - `ResidualGoals` is a list of the residual goals from the query.