YAP 7.1.0
predicate_property/2

predicate_property( P, Prop) More...

Detailed Description

predicate_property( P, Prop)

defined in the ISO standard

For the predicates obeying the specification P unify Prop with a property of P These properties may be:

  • built_in true for built-in predicates,
  • dynamic true if the predicate is dynamic
  • static true if the predicate is static
  • meta_predicate( _M_) true if the predicate has a meta_predicate declaration M
  • multifile true if the predicate was declared to be multifile
  • imported_from( _Mod_) true if the predicate was imported from module Mod
  • exported true if the predicate is exported in the current module
  • public true if the predicate is public; note that all dynamic predicates are public
  • tabled true if the predicate is tabled; note that only static predicates can be tabled in YAP
  • source (predicate_property flag) true if source for the predicate is available
  • number_of_clauses( _ClauseCount_) Number of clauses in the predicate definition Always one if external or built-in
The documentation for this class was generated from the following file: