/usr/local/lib/swipl/xpce/prolog/lib/pce_meta.pl
All Application Manual Name SummaryHelp

 implements(?Class:atom, ?Method:atom) is nondet
 implements(?Class:atom, ?Method:atom, -MethodObj:object) is nondet
True if Class implements the method. If class is a variable, backtracking yields all classes

`What' may be wrapped in self(What) or root(What). Using self(What) returns only those classes that have a non-inherited implementation of the method, while using root(What) returns only those classes for which there is no super-class implementing the requested method.

Arguments:
Class- Name of XPCE class
Method- One of send(Name) or get(Name)
MethodObj- XPCE Object representing the method