From 8a9086e70dac1e0aa5ddb070fd54f4f7f3754470 Mon Sep 17 00:00:00 2001
From: Eshel Yaron <eshel@areionsec.com>
Date: Sun, 24 Oct 2021 21:13:00 +0300
Subject: [PATCH] MODIFIED: report `?` rather than `*` in
 `infer_meta_predicate/2`

---
 library/prolog_metainference.pl | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/library/prolog_metainference.pl b/library/prolog_metainference.pl
index 4a9a68ac5b..fddd2afe5d 100644
--- a/library/prolog_metainference.pl
+++ b/library/prolog_metainference.pl
@@ -78,8 +78,9 @@
 %!  infer_meta_predicate(:Head, -MetaSpec) is semidet
 %
 %   True  when  MetaSpec  is  a  meta-predicate  specifier  for  the
-%   predicate Head. Derived meta-predicates are   collected and made
-%   available through inferred_meta_predicate/2.
+%   predicate Head following the same format as meta_predicate/1.
+%   Derived meta-predicates are collected and made available
+%   through inferred_meta_predicate/2.
 
 infer_meta_predicate(Head, MetaSpec) :-
     inferred_meta_predicate(Head, MetaSpec),
@@ -228,7 +229,7 @@
     ->  C = B
     ;   is_meta(A), is_meta(B)
     ->  C = (:)
-    ;   C = *
+    ;   C = ?
     ).
 
 attr_unify_hook(A0, Other) :-
@@ -286,7 +287,7 @@
     HeadArg = M:_,
     get_attr(M, prolog_metainference, m),
     !.
-meta_arg(_, *).
+meta_arg(_, ?).
 
 %!  combine_meta_args(+Heads, -Head) is det.
 %