DeclarativeProgrammingLogicandDataSeparationSpeedandScalabilityCentralizationofKnowledgeToolIntegrationExplanationFacilityUnderstandableRules