![0 0 upvotes](/icons/vote_up.gif)
![0 0 downvotes](/icons/vote_down.gif)
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.
Did you know ... | Search Documentation: |
![]() | Predicate predicate_name/2 |
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.