@prefix : <#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#> .


#:sally :parent :fran, :marshall.
#:paul :parent :sally.
#:maryjr :parent :maryIII.
#:merv :parent :bob.

:bob :parent :jane.
:jane :parent :janeII.

this log:forAll :x, :y, :z.

{:x :parent :y} log:implies {:y :child [:parent :y].}.
{:x :parent :y. :y :parent :z} log:implies {[a :gParent]. [a :gChild].}.



#<sbp> it's a node test, not a resource test...
#> Is it a string?
#<sbp> well, void as in either "can't match, query fails", or "empty string"
#<sbp> I think the forme
#> Ehh!
#<sbp> yep, it's a literal
#> It can be *either*?
#<sbp> <http://www.w3.org/> log:uri "http://www.w3.org/" . should test true
#> Right.
#<sbp> "" log:uri :x . should fail
#<sbp> _:b log:uri :x . should fail
#<sbp> this log:forAll :x .
#> <http://www.w3.org> log:uri :u. :u string:startsWith "http:". ? (given
#  bindings,e tc.)
#<sbp> :u with be "http://www.w3.org", and the starts with test will pass