本节提供有关阅读和编写 Prolog 代码的指南和技巧，以及如何一般性地思考 Prolog 代码。
fac(0,1).
fac(A,B) :- A > 0, C is A-1, fac(C,D), B is A*D.
上一页: 切割和否定 下一页: 差分列表
