Inference Engine of Rule-Based Expert System - Sroka, Michal, 1987- (STU v Bratislave MTF UIAM, 2012)