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

use plain ! while interpreting control functors in metacalls (#724)

Browse Source
This commit is contained in:
Mark Thom
2021-02-28 19:12:35 -07:00
parent 54c142fc0d
commit 498c4660d0
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/lib/builtins.pl
View File

@@ -255,6 +255,7 @@ call_or_cut(G, B, ErrorPI) :-
:- non_counted_backtracking control_functor/1. :- non_counted_backtracking control_functor/1.
control_functor(call(_:!)).
control_functor(!). control_functor(!).
control_functor((_,_)). control_functor((_,_)).
control_functor((_;_)). control_functor((_;_)).
@@ -280,6 +281,8 @@ call_or_cut(G, B) :-
:- non_counted_backtracking call_or_cut_interp/2. :- non_counted_backtracking call_or_cut_interp/2.
call_or_cut_interp(call(_:!), B) :-
!. % '$set_cp_by_default'(B).
call_or_cut_interp(!, B) :- call_or_cut_interp(!, B) :-
'$set_cp_by_default'(B). '$set_cp_by_default'(B).
call_or_cut_interp((G1, G2), B) :- call_or_cut_interp((G1, G2), B) :-