Open burakemir opened 8 months ago
When a rule body refers to predicate foo(X1,...,Xn) but foo has arity m != n, the error message currently says "could not find predicate".
foo(X1,...,Xn)
foo
It would be nicer to check whether there is a predicate with the same name, and suggest to use it.
When a rule body refers to predicate
foo(X1,...,Xn)
butfoo
has arity m != n, the error message currently says "could not find predicate".It would be nicer to check whether there is a predicate with the same name, and suggest to use it.