Availability:C-language interface function
bool PL_predicate_info(predicate_t 
p, atom_t *n, size_t *a, module_t *m)Return information on the predicate p. The name is stored 
over
n, the arity over a, while m receives 
the definition module. Note that the latter need not be the same as 
specified with
PL_predicate(). 
If the predicate is imported into the module given to
PL_predicate(), 
this function will return the module where the predicate is defined. Any 
of the arguments n, a and m can be
NULL. Currently always returns TRUE.