It sound more like a prolog program. It takes a set of rules and facts and can infer other facts from there and show you all the steps of the process. Although

It sound more like a prolog program. It takes a set of rules and facts and can infer other facts from there and show you all the steps of the process. Although it is a branch of AI it is not what one thinks of nowdays hearing the term AI. One thinks of some fancy powerful self learning black box, which can do miracles but can't explain how it does it.