Oh, I see! Thanks!

On Tue, Jul 3, 2018 at 1:45 PM Alexander Burger <a...@software-lab.de> wrote:

> 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:picolisp@software-lab.de?subject=Unsubscribe
>

Reply via email to