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

use functional notation for all meta_predicate/1 directives

Browse Source
This commit is contained in:
Markus Triska
2021-11-11 19:29:32 +01:00
parent e9b4a99c8f
commit 57877107d8
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/lib/iso_ext.pl
View File

@@ -23,11 +23,11 @@
type_error/3]). type_error/3]).
:- meta_predicate call_cleanup(0, 0). :- meta_predicate(call_cleanup(0, 0)).
:- meta_predicate setup_call_cleanup(0, 0, 0). :- meta_predicate(setup_call_cleanup(0, 0, 0)).
:- meta_predicate forall(0, 0). :- meta_predicate(forall(0, 0)).
forall(Generate, Test) :- forall(Generate, Test) :-
\+ (Generate, \+ Test). \+ (Generate, \+ Test).
@@ -131,7 +131,7 @@ handle_ile(B, E, _) :-
'$remove_call_policy_check'(B), '$remove_call_policy_check'(B),
'$call_with_default_policy'(throw(E)). '$call_with_default_policy'(throw(E)).
:- meta_predicate call_with_inference_limit(0, ?, ?). :- meta_predicate(call_with_inference_limit(0, ?, ?)).
call_with_inference_limit(G, L, R) :- call_with_inference_limit(G, L, R) :-
'$get_current_block'(Bb), '$get_current_block'(Bb),