标签： prolog
Given是一个Prolog过程，其签名为：mult（X，Y，Z）它通过自然数的后继表示来计算乘积X * Y = Z（X，Y∈N0）在讲座中，其中n = 0，s（n）等于1，s（s（n））等于2，依此类推。定义一个Prolog过程fak4（N，W）来计算W = 4N·QN i = 1 i，N∈N，N> 0。
我不知道该怎么做，将其从德语翻译为英语