Warning:
This wiki has been archived and is now read-only.
Test Case Positive
From RIF
{PositiveEntailmentTest |author=Adrian Paschke |status=Proposed |dialect=Core |desc=Test the query; Expected conclusion is "true". For instance, a test case "testQuery(p(q))" for a test data set "r(q)" and a rule "p(?Arg):-r(?Arg)" will succeed. |pformat=Presentation |premise=testQuery(?Query) |cformat=Presentation |conc= true }