SysML-based and Prolog-supported FMEA