One fundamental difference between

One fundamental difference between Prolog’s append and those of LISP and ML is that Prolog’s append is a predicate—it does not return a list, it returns yes or no. The new list is the value of its third parameter.To illustrate how the append process progresses, consider the following traced example:

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

Một khác biệt cơ bản giữa Prolog của phụ thêm và LISP và ML là Prolog của phụ thêm là một vị ngữ — nó không trả lại một danh sách, nó sẽ trả có hoặc không có. Danh sách mới là giá trị của tham số thứ ba của nó.Để minh họa làm thế nào tiến hành quá trình phụ thêm, xem xét các ví dụ NWOBHM sau:

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

Một sự khác biệt cơ bản giữa append Prolog và những người của LISP và ML là append Prolog là một vị từ-nó không trả về một danh sách, nó sẽ trả về có hay không. Danh sách mới là giá trị của parameter.To thứ ba của nó minh họa quá trình phụ thêm tiến triển, xem xét ví dụ sau đây bắt nguồn từ: