Điều khiển quá trình quay lui (backtracking) Prolog tự động quay lui khi cần thiết Có thể điều khiển quá trình thực thi của chương trình bằng cách sắp lại thứ tự các mệnh đề Nhát cắt là một toán tử dùng để ngăn cản quá trình backtracking của Prolog. | Điều khiển quá trình quay lui backtracking Prolog tự động quay lui khi cân thiết Có thể điều khiển quá trình thực thi của chương trình bằng cách sắp lại thứ tự các mệnh đề Nhát cắt là một toán tử dùng để ngăn cản quá trình backtracking của Prolog. Ví dụ f X 0 -X 3. f X 2 - 3 X X 6. f X 4 - 6 X. nhát cắt f X 0 -X 3 . f X 2 - 3 X X 6 . f X 4 - 6 X. This is trial version 11 Các phép toán sô học chia sô thực chia sô nguyên mod luỹ thừa between Low High Value succ Int1 Int2 plus Int1 Int2 Int3 phép gán Bien is Bieu_thuc so sánh This is trial version 12 Bài tập 1. Cho góc X 600 góc Y 600. Chứng minh các cạnh XY XZ XY YZ bang X Y banggoc X A bangnhau XY UV A B C 180 C is 180 - A - B This is trial version .
