Hi Bruno,
> (be vertical (line (point @X @Y) (point @X @Z)))
> (be horizontal (line (point @X @Y) (point @Z @Y)))
>
> and the query:
> (? (vertical line (point 1 2) (point 1 3)))
Yes, OK, but then I would rather go with:
(be vertical ((line (point @X @Y1) (point @X @Y2))))
(be horizontal ((line (point @X1 @Y) (point @X2 @Y))))
i.e. the matching single parameter is a (single) list of the form
(line (point ..) (point ..))
Then you get:
: (? (vertical (line (point 1 2) (point 1 3))))
-> T
: (? (vertical (line (point 1 2) (point 3 4))))
-> NIL
: (? (vertical (line (point 1 2) (point @X 3))))
@X=1
-> NIL
—Alex
--
UNSUBSCRIBE: mailto:[email protected]?subject=Unsubscribe
