Test Case Number of Results

{PositiveEntailmentTest |author=Adrian Paschke |status=Proposed |dialect=Core |desc=Test the number of results for the query. Conclusion is "true" if the derived number of results for the query is equal to the specified number of results "?Number". For instance, "testNumberOfResults(p(?Arg),2)" for a test data set "r(q)","r(s)" and a rule "p(?Arg):-r(?Arg)" will succeed. |pformat=Presentation |premise=testNumberOfResults(?Query, ?Number) |cformat=Presentation |conc=true }