uwenku
Danh sách thẻ
non-termination
5
Nhiệt
2
Trả 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
Câu hỏi mới nhất
1.
AngularJS: Khởi tạo bộ lọc không đồng bộ
2.
Nhiều COUNT() cho nhiều điều kiện trong một truy vấn (MySQL)
3.
Phát hiện bóng rổ Hoops và theo dõi bóng
4.
Xác định loại chung loại thời gian chạy
5.
Truncate chuỗi khi nó quá dài
6.
Yesod: Sử dụng typesafe URL trong AJAX gọi
7.
Cách triển khai mô-đun Đăng nhập tại Tastypie trong dự án Django
8.
Tại sao một con trỏ hàm không bị bắt bởi tham chiếu chung?
9.
Góc 1,2: ng-bind-html loại bỏ thuộc tính src trên img
10.
Xóa đường viền dưới của Thanh Điều hướng iOS7