在prolog中可视化蕴涵链

Question

我想要的是一个prolog程序，我列出了一堆if-thens（所以很多规则）。因此，我希望看到其中一条规则带来影响的图表。因此，如果a（）通过一系列规则导致50个其他事物，我希望看到它带来的所有事情，以及它到达那里所需的路径。也许是这样的：

?- (something here...) :- studyBiology(X)

studyBiology(X)
    goToMedicalSchool(X)
        becomeADoctor(X)
    learnToHateBiology(X)
        startARockBand(X)

同样，我想命名一些谓词，看看到达目的地的所有方法，以及导致它的路径：

?- beSuccessful(X) :- (something here...).

beSuccessful()
    goToCollege()
        getGoodGradesInSchool()
    runAnEthicalBusiness(), haveAGreatMarketingTeam()
        dropOutAndStartABusiness()

Prolog有可能吗？或者我应该用另一种语言构建一些自定义的东西吗？