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

constrain bracketing to operators with pertaining arity

Browse Source 
Example:

    ?- X = -->(a,b,c).
       X = -->(a,b,c).
This commit is contained in:
Markus Triska
2023-06-30 18:01:17 +02:00
parent 4953cfd10e
commit 28065b0565
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/toplevel.pl
View File

@@ -208,8 +208,9 @@ needs_bracketing(Value, Op) :-
nonvar(Value), nonvar(Value),
\+ integer(Value), \+ integer(Value),
functor(Value, F, Arity), functor(Value, F, Arity),
current_op(FPrec, _, F), current_op(FPrec, FSpec, F),
current_op(EqPrec, EqSpec, Op), current_op(EqPrec, EqSpec, Op),
arity_specifier(Arity, FSpec),
( Arity =:= 0 -> ( Arity =:= 0 ->
true true
; EqPrec < FPrec -> ; EqPrec < FPrec ->
@@ -222,6 +223,10 @@ needs_bracketing(Value, Op) :-
memberchk(EqSpec, [fx,xfx,yfx]) memberchk(EqSpec, [fx,xfx,yfx])
). ).
arity_specifier(0, _).
arity_specifier(1, S) :- atom_chars(S, [_,_]).
arity_specifier(2, S) :- atom_chars(S, [_,_,_]).
write_goal(G, VarList, MaxDepth) :- write_goal(G, VarList, MaxDepth) :-
( G = (Var = Value) -> ( G = (Var = Value) ->
( var(Value) -> ( var(Value) ->