!ruleset
RULESET "unless"
PREFIX my: <eh:/my#>

RULE "unless"
  { ?a my:P ?b UNLESS ?b my:Q ?c } => { ?a a my:UnQed-b }

!rdf
@prefix my: <eh:/my#>.

my:a my:P my:b.
my:b my:Q my:c.

my:x my:P my:y.

!expect
@prefix my: <eh:/my#>.

my:a my:P my:b.
my:b my:Q my:c.

my:x my:P my:y.

my:x a my:UnQed-b.

!rdf
@prefix my: <eh:/my#>.

my:a my:P my:b.
my:b my:Q -1 .

my:x my:P my:y.
my:y my:Q +1 .

!ruleset
RULESET "unless"
PREFIX my: <eh:/my#>

RULE "unless"
  { ?a my:P ?b UNLESS {?b my:Q ?c FILTER ?c > 0} } => { ?a a my:UnQed-b }

!expect
@prefix my: <eh:/my#>.

my:a my:P my:b.
my:b my:Q -1 .

my:x my:P my:y.
my:y my:Q +1 .

my:a a my:UnQed-b.