Near Matches
Ignore Exact
Everything
2
This kind of negation is sound if its argument is ground.
Prolog
negation
logic
Log in
or
register
to write something here or to contact authors.