(atom ast.Atom)
| 829 | } |
| 830 | |
| 831 | func checkAtomArity(atom ast.Atom) error { |
| 832 | if atom.Predicate.Arity != len(atom.Args) { |
| 833 | return fmt.Errorf("Arity mismatch: %s expects %d arguments but has %d in %v", atom.Predicate.Symbol, atom.Predicate.Arity, len(atom.Args), atom) |
| 834 | } |
| 835 | return nil |
| 836 | } |
| 837 | |
| 838 | func (a *Analyzer) check(c func(sym ast.PredicateSym) error, clause ast.Clause) error { |
| 839 | for _, p := range clause.Premises { |