Không giống như một ngôn ngữ lập trình thủ tục, được thiết kế để bước qua một loạt các phát biểu trong một con đường theo quy định của các lập trình viên, Prolog có thể autonomously chạy qua mỗi instantiation có thể, backtracking nếu essary nec để đối phó với nhiều biến.
đang được dịch, vui lòng đợi..
