add appropriate meta_predicate/1 declarations

This commit is contained in:
Markus Triska
2021-02-18 19:16:11 +01:00
parent f5ad845d57
commit 71a524662d

View File

@@ -11,6 +11,10 @@
:- use_module(library(format), [portray_clause/1]).
:- meta_predicate *(0).
:- meta_predicate $(0).
:- meta_predicate $-(0).
$-(G_0) :-
catch(G_0, Ex, ( portray_clause(exception:Ex:G_0), throw(Ex) ) ).