private bool VerifySignature(XSignature signature) { foreach (var s in Database.Signatures) { if (signature.Name == s.Name) { if (signature.Arity != s.Arity) { return(false); } return(true); } } return(false); }
public XClause(IXExpression body, XSignature signature, params XVar[] vars) : this(body, new XPredicate(signature, vars)) { }