Correct Answer : Logic programming
Explanation : Logic programming is mainly used to check the working process of the system.