current_predicate( F ) More...

Detailed Description

current_predicate( F )

defined in the ISO standard

True if F is the predicate indicator for a currently defined user or library predicate.The indicator F is of the form Mod:Na/_Ar_ or Na/Ar, where the atom Mod is the module of the predicate, Na is the name of the predicate, and Ar its arity

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

/home/vsc/github/yap/pl/preds.yap