private bool IsMethod(string name, int arity) { foreach (PrologCodeMethod method in _codeUnit.Methods) { if (name == method.PredicateName && method.Arguments.Count == arity) { return true; } } return false; }