Did you know ... Search Documentation:
Predicate predicate_name/2
 predicate_name(:Head, -PredName:string) is det
Describe a predicate as [Module:]Name/Arity.
Tags are associated to your profile if you are logged in|Report abuse
Tags:
  • doc-needs-help
LogicalCaptain said (2021-02-10T19:08:03):0 upvotes 0 0 downvotes
Picture of user LogicalCaptain.

Example:

?- predicate_name(is_ordset(_),S).
S = "is_ordset/1".

When is the module name added?

Maybe it should give the module name here instead of failing:

?- predicate_name(is_ordset(_),M:S).
false.