non-termination

5Nhiệt

2Trả lời

Prolog predicate - vòng lặp vô hạn

Tôi cần tạo một vị từ Prolog cho lũy thừa của 2, với các số tự nhiên. số tự nhiên là: 0, s (0), s (s (0)) ans vv .. Ví dụ: ?- pow2(s(0),P). P = s(s(0)); false. ?- pow2(P,s(s(0))). P = s(0); false

prolog exponentiation failure-slice successor-arithmetics non-termination 2012-03-16

---