The semantic gap in Software Engineering (a gap between a declarative design and sequential implementation) is a motivation for the hekate project.
Genral description of the Semantic Gap.
Some Rule Based Systems related info regarding the Semantic Gap.