qfwfq
New Member
Posts: 29
|
Post by qfwfq on Dec 22, 2013 15:56:32 GMT -8
In the rules for Knight-Through, there is a cell base proposition: (<= (base (cell ?x ?y ?p)) (index ?x) (index ?y) (role ?p))
There is also a rule for cell:
(<= (cell ?x ?y) (index ?x) (index ?y))
Is it legal in GDL to have two different relations with the same name (and in this case different arity)?
|
|
|
Post by alandau on Dec 22, 2013 19:38:52 GMT -8
Technically, the first use of cell is a function (an inner part of a relation), while the second use is as a relation/sentence. The GDL spec doesn't specify whether the same name can be used for both a sentence and a function, so this is in a gray area for now.
If they were both sentence names or both function names, they wouldn't be allowed to have different arities.
The overlapping function/sentence names issue was recently added to the StaticValidator as a warning case to check for.
|
|