[SLP-Homepage]    [Source Modules]    [Manual]    [Run]    [Examples]
 

Hyperresolution (Deriving Implied Conditional Facts)

This module defines a class hyper_c. It has no instances, only static member functions (class methods) that implement the hyperresolution method for deriving implied conditional facts.

For instance, if a rule is p | q <- r & s not a and there are conditional facts for the two body literals

then hyperresolution will produce the following conditional fact: