This directory contains a simple implementation of a restricted form of Prolog for Theo.  It
supports the Prolog method for infering slot values in Theo.  See the test kb pfamily.kb on this
directory for an example.

Internal represention of rules is, for example
{{party, ?x, republican} , {budgetResolution, ?x, n} , {physicianFeeFreeze, ?x, y} }

where the first literal is the rule consequent, and the remaining literals are the antecedent.  For
efficient inference, it is strongly recommended that new variables be introduced in a left-to-right
sequence, meaning that in a left-to-right scan the variable's first occurence is in the third
position in the {<slot>,<entity>,<value>} literal.
