Re: N3 meeting - 12 pm (EDT) Monday 11 July

As discussed in the meeting today
https://docs.google.com/document/d/1A3HAUhjaVnnJ6yVbFAvIBRJQjUY9aFlQ2_bGxkD0mnE/edit#
EYE now supports the list:setEqualTo and list:setNotEqualTo built-ins and
the tests below all succeed:

@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix : <http://example.org/test#>.

#:s :p :o.
#?x => {:a :b :c}.

{(:alice :bob :charlie) list:setEqualTo (:bob :charlie :alice)} => {:test1
a :OK}.
{(:alice :bob :charlie) list:setEqualTo (:alice :bob :charlie :alice)} =>
{:test2 a :OK}.
{(:alice :bob :charlie ?X) list:setEqualTo (:alice ?Y :bob :charlie)} =>
{:test3 a :OK}.
{(:alice :bob :charlie :dan) list:setNotEqualTo (:eve :bob :charlie
:alice)} => {:test4 a :OK}.
{(:alice :bob :charlie ?X) list:setNotEqualTo (:alice ?Y :bob :charlie ?Z)}
=> {:test5 a :OK}.

Re the semantics discussion, it is now also the case that the rule

?x => {:a :b :c}.

always gives

:a :b :c.

William, it would be nice if you could install the latest EYE
https://github.com/josd/eye/releases/tag/v22.0711.1846
on your http://ppr.cs.dal.ca:3002/n3/editor/ or wherever you prefer ;-)

Thanks for the constructive meeting today!

Kind regards,
Jos

-- https://josd.github.io


On Fri, Jul 8, 2022 at 4:29 PM William Van Woensel <
william.vanwoensel@gmail.com> wrote:

> Hello everyone,
>
> The next N3-dev community meeting will take place Monday 11 July at 12:00
> noon EDT (check your timezone
> <https://www.timeanddate.com/worldclock/fixedtime.html?msg=Weekly+N3+WG+Skype+meeting&iso=20220711T12&p1=43&ah=1>).
> Barring exceptional circumstances, this is the regular time for meetings.
> Please join the Skype group <https://join.skype.com/aRBuOasYurPd> if you
> haven’t already!
>
> You can find the proposed agenda (discussion topics), and prior meeting
> notes, on the Google Doc
> <https://docs.google.com/document/d/1A3HAUhjaVnnJ6yVbFAvIBRJQjUY9aFlQ2_bGxkD0mnE/edit?usp=sharing>
> .
>
>
> Kind regards,
>
> William
>

Received on Monday, 11 July 2022 21:02:02 UTC