Merge pull request #826 from triska/rebis-dev

add appropriate meta_predicate/1 declarations
This commit is contained in:
Mark Thom
2021-02-18 11:17:00 -07:00
committed by GitHub

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) ) ).