Because goal statements and some no

Because goal statements and some nongoal statements have the same form
(headless Horn clauses), a Prolog implementation must have some means of
distinguishing between the two. Interactive Prolog implementations do this
by simply having two modes, indicated by different interactive prompts: one
for entering fact and rule statements and one for entering goals. The user can
change the mode at any time.

Kết quả (Việt) 1:

Vì mục đích báo cáo và một số phát biểu nongoal có giống như hình thức(điều khoản không đầu sừng), một thực hiện Prolog phải có một số phương tiệnphân biệt giữa hai. Tương tác Prolog việc triển khai thực hiện việc nàybởi chỉ đơn giản là có hai chế độ, được chỉ báo bằng lời nhắc tương tác khác nhau: mộtđể nhập báo cáo thực tế và các quy tắc và cho vào mục tiêu. Người dùng có thểthay đổi chế độ bất cứ lúc nào.

Kết quả (Việt) 2:

Bởi vì báo cáo mục tiêu và một số báo cáo nongoal có hình thức tương tự
(Horn khoản không đầu), một thực Prolog phải có một số phương tiện
phân biệt giữa hai người. Triển khai Prolog Interactive thực hiện điều này
bằng cách đơn giản có hai chế độ, thể hiện qua lời nhắc tương tác khác nhau: một
để nhập thực tế và quy tắc báo cáo và một cho vào mục tiêu. Người dùng có thể
thay đổi chế độ bất cứ lúc nào.