嗨，如果我有下一个知识基础
natural(0).
natural(suc(X)):-natural(X).
sum(0,N,N).
sum(suc(N),suc(N),R).
mult(N,1,N).
mult(number,times,result):-mult(number,times-1,partial), sum(partial,number,result).
我问问题？ MULT（5,3,15）。
prolog是如何运行的？首先我将数字设置为5，时间设置为3，结果为5。在用查询头部取消证书之后，如何使用子句的主体，特别是部分取得的值