Prolog, for reasons of efficiency,

Prolog, for reasons of efficiency, allows the user to control the ordering of pattern matching during resolution. In a pure logic programming environment,
the order of attempted matches that take place during resolution is nondeterministic, and all matches could be attempted concurrently. However, because
Prolog always matches in the same order, starting at the beginning of the database and at the left end of a given goal, the user can profoundly affect efficiency by ordering the database statements to optimize a particular application

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

Prolog, vì lý do hiệu quả, cho phép người dùng để kiểm soát thứ tự của mô hình kết hợp trong độ phân giải. Trong một môi trường lập trình logic tinh khiết,Thứ tự của các nỗ lực các trận đấu diễn ra trong độ phân giải là nondeterministic, và tất cả các trận đấu có thể được cố gắng đồng thời. Tuy nhiên, bởi vìProlog luôn luôn phù hợp với theo thứ tự, bắt đầu từ lúc bắt đầu của cơ sở dữ liệu và ở phía bên trái của một mục tiêu nhất định, người dùng có thể sâu sắc ảnh hưởng đến hiệu quả bằng cách đặt hàng báo cáo cơ sở dữ liệu để tối ưu hóa một ứng dụng cụ thể

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

Prolog, vì lý do hiệu quả, cho phép người sử dụng để kiểm soát các đặt hàng của mô hình kết hợp trong quá trình giải quyết. Trong một môi trường lập trình logic thuần túy,
thứ tự của các trận đấu cố diễn ra trong thời gian giải quyết là không xác định, và tất cả các trận đấu có thể đã cố gắng đồng thời. Tuy nhiên, vì
Prolog luôn phù hợp theo đúng thứ tự, bắt đầu từ đầu những cơ sở dữ liệu và ở đầu bên trái của một mục tiêu nhất định, người sử dụng có thể ảnh hưởng đến hiệu quả sâu sắc bằng cách ra lệnh báo cáo cơ sở dữ liệu để tối ưu hóa một ứng dụng cụ thể