Warning:
This wiki has been archived and is now read-only.

Entail everything

From RIF
Jump to: navigation, search

{PositiveEntailmentTest |author=Gary Hallmark |status=Proposed |dialect=Core |purpose= |desc=Test what a rule with a true premise entails |pformat=Presentation |premise=p(1 2) f#t[a->3 b->4] forall ?x (A(?x) :- And()) |cformat=Presentation |conc=A(1) A(2) A(3) A(4) A(a) A(b) A(f) A(t) }