Representing How to Use Knowledge

Need to represent how to control the processing:

direction

-- indicate the direction an implication could be used. E.g. To prove something can fly show it is a bird. fly(x) bird(x).

Knowledge to achieve goal

-- specify what knowledge might be needed to achieve a specific goal. For example to prove something is a bird try using two facts has_wings and has_feathers to show it.