Re: variable scoping and log:semantics

PS After quite some struggle the latest eye v21.0708.1245 is
moving back to blank nodes with formula scope.and here are the changes
https://github.com/josd/eye/commit/9536c37380554490b70866adbdc200acbd71f6c0


-- https://josd.github.io <http://josd.github.io/>


On Tue, Jul 6, 2021 at 2:43 PM Jos De Roo <josderoo@gmail.com> wrote:

> As discussed yesterday, the 2 test cases from Doerthe
> gave wrong results with eye and this is now corrected.
>
> For the first case http://ppr.cs.dal.ca:3002/n3/editor/s/ng3qLmfo
> eye v21.0706.1214 now gives
> _:e_y_1 a :Unicorn.
> :I :doubt {<
> http://josd.github.io/.well-known/genid/pMzSNOnT8TysxexswIGqHVqOvRk#e_x_1>
> a :Unicorn}.
>
> For the second case  http://ppr.cs.dal.ca:3002/n3/editor/s/a1pZ78vt
> eye v21.0706.1214 now gives
> :x a :Thing.
> :I :believe {true => {?U_0 a :Thing}}.
> and not anymore
> :a :b :c.
>
> jos
>
> -- https://josd.github.io/ <http://josd.github.io/>
>