next up previous contents
Next: current_op/3 Up: Powerful Features ---Find Previous: current_functor/2

current_predicate/2

 
knows(fred).


?- current_predicate(knows,knows(fred)).


yes

Paul Brna
Mon May 24 20:14:48 BST 1999