-Defined all prolog rules to support the experiment derivation process.
-In this version the prolog rules are coded to support only formation
rules that generate only one possible inferred solution.