The second proposition specifies se

The second proposition specifies several characteristics of the new list. It corresponds to the recursion step in the ML function. The left-side predicate states that the first element of the new list is the same as the first element of the
first given list, because they are both named Head. Whenever Head is instantiated to a value, all occurrences of Head in the goal are, in effect, simultaneously instantiated to that value.

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

Các đề xuất thứ hai chỉ định một số đặc điểm của danh sách mới. Nó tương ứng với bước đệ quy chức năng ML. Vị ngữ bên trái tiểu bang rằng các yếu tố đầu tiên của danh sách mới là giống như các yếu tố đầu tiên của cáclần đầu tiên được đưa ra danh sách, bởi vì chúng được đặt tên cả hai đầu. Bất cứ khi nào đầu instantiated một giá trị, tất cả các lần đầu trong các mục tiêu được, trên thực tế, đồng thời instantiated tới giá trị đó.

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

Mệnh đề thứ hai xác định một số đặc điểm của danh sách mới. Nó tương ứng với các bước đệ quy trong các chức năng ML. Phía bên trái vị nói rằng các phần tử đầu tiên của danh sách mới cũng giống như các phần tử đầu tiên của
danh sách cho lần đầu tiên, vì cả hai đều có tên là Head. Bất cứ khi nào đầu được khởi tạo một giá trị, tất cả các lần xuất hiện của Head trong các mục tiêu được, có hiệu lực, đồng thời khởi tạo giá trị đó.