YAP 7.1.0
must_be_predicate_indicator/4

must_be_predicate_indicator( Term, Module, Name, Arity ) More...

Detailed Description

must_be_predicate_indicator( Term, Module, Name, Arity )

This predicates can be used to verify if Term is a predicate indicator, that is of the form:

  • Name/Arity
  • Name//Arity-2
  • Module:Name/Arity
  • Module:Name//Arity-2

if it is, it will extract the predicate's module, name, and arity

Note: this will now accept both mod:(a/n) and (mod:a)/n as valid

The documentation for this class was generated from the following file: