Note that PredSpec is specified in the format Name/Arity and may be specified with Name as an atom or variable and/or Arity as an integer or variable.
Success: current_functor(findall/N). current_functor(N/4). current_functor((',')/2). [eclipse]: current_functor(X). X = '' / 0 More? (;) X = findall / 0 More? (;) X = findall / 3 More? (;) X = at_eof_handler / 0 More? (;) % RETURN pressed yes. [eclipse]: Fail: current_functor(myfunctor/100). Error: current_functor(abc) Error 5. current_functor(man(1)). Error 5.