LogicEngine.Simple Module

This module defines the following types:

SimpleLogicEngine Type

The SimpleEngine uses backwards propagation to derive all possible Substitutions that will satisfy the given query. Each Substitution will have an accompanying list of side conditions to be checked against the substrate(s). Only those Substitutions that pass the side conditions are returned

Implemented Interfaces

  • ILogicEngine

Automatically generated on 6/10/2011 2:28:40 PM

Last edited Jun 10, 2011 at 10:35 PM by gdecaso, version 2


No comments yet.