|
|
Post by woodstock on Jul 10, 2017 7:23:32 GMT -8
Hi,
for you this :
(distinct (cell ?m ?n) (cell ?i ?j))
is valid on GDL or not ?
Thank you.
|
|
|
|
Post by alandau on Jul 14, 2017 21:22:13 GMT -8
Yes; per the GDL spec (definitions 17 and 19), distinct can take any terms as arguments, and functions are a type of term.
(Incidentally, in that particular case, you could express the same thing differently, as (or (distinct ?m ?i) (distinct ?n ?j)); but there are other cases, like (distinct ?move (particularMove 0 0)), that don't really have good alternatives.)
|
|
