本節提供有關閱讀和編寫 Prolog 程式碼的指南和技巧，以及如何一般性地思考 Prolog 程式碼。
fac(0,1).
fac(A,B) :- A > 0, C is A-1, fac(C,D), B is A*D.
上一頁: 切割和否定 下一頁: 差分列表
