Prolog, danh sách xây dựng với mệnh đề có điều kiện

Question

Tôi cần phải làm bài tập về nhà này bằng cách sử dụng prolog (SWI-hương vị) và không thể có được đầu của tôi xung quanh một số điều.

Ví dụ: nếu tôi muốn lặp qua danh sách và thêm các phần tử của nó vào danh sách khác, nhưng CHỈ nếu chúng đáp ứng một số điều kiện nhất định, tôi sẽ làm như thế nào? Tôi có thể thêm tất cả, hoặc không, nhưng nếu tôi thêm mệnh đề kiểm tra tình trạng này, toàn bộ đệ quy hóa ra là "sai". Tôi hiểu tại sao điều này là, nhưng không có ý tưởng làm thế nào để sửa chữa nó. Về cơ bản những gì tôi muốn là:

goal(Stuff) :- do_something(X), 
       only_do_this_if_something(Y), 
       always_do_this(Z). 

Hiện nay, nếu only_do_this_if_something(Y) thất bại, cũng always_do_this(Z) doesnt xảy ra như toàn bộ mục tiêu biến sai ...

Answer 1

bạn có thể sử dụng nếu cấu trúc:

<condition> -> (do_something) ; (do_something else) 

trong trường hợp này:

goal(Stuff):- 
    do_something(X), 
    if_something(Y)-> do_this(Y) ; true, 
    always_do_this(Z). 

hoặc bạn chỉ đơn giản là viết hai mệnh đề như:

goal(Stuff):- 
    do_something(X), 
    conditional_stuff(Y), 
    always_do_this(Z). 

conditional_stuff(Y):- 
    condition(Y), 
    do_this(Y). 

conditional_stuff(_). 

Answer 2

thử bỏ qua/1 vị:

goal(Stuff) :- 
    do_something(X) 
    ignore(only_do_this_if_something(Y)), 
    always_do_this(Z). 

bỏ qua/1 gọi đối số duy nhất và thành công bất cứ khi nào nó không thành công hay không:

ignore(X) :- X, !. 
ignore(_). 

Answer 3

Kiểm tra mô hình lập trình sau đây, được sử dụng khá nhiều trong Prolog:

• Duyệt qua danh sách, một yếu tố tại một thời điểm
• Đặt một trường hợp cơ sở cho các đệ quy
• Trong một khoản, kiểm tra xem các điều kiện áp dụng và làm điều gì đó, sau đó tiếp tục với đệ quy
• Trong mệnh đề tiếp theo bỏ qua và tiếp tục với đệ quy

Bạn phải sử dụng lệnh cắt (!) để cấm quay lại hoặc kiểm tra rõ ràng rằng điều kiện không áp dụng trong điều khoản sau.

Lưu ý rằng bạn nói rằng bạn muốn có một danh sách đầu ra với các mục mà 'cái gì' áp dụng (mà không phải là những gì bạn đã viết trong mã của bạn) ...

Áp dụng mô hình này để vấn đề của bạn nó sẽ giống như thế này:

myRecursion([], []). % This is the base case 
myRecursion([Item|Tail], [Item|NTail]):- 
    something_applies(...), 
    do_something(...), 
    only_do_this_if_something(...), 
    always_do_this(...). 
    myRecursion(Tail, NTail). 
myRecursion([Item|Tail], NTail):- 
    not(something_applies(...)), 
    do_something(...), 
    always_do_this(...), 
    myRecursion(Tail, NTail). 

Answer 4

Nếu tôi hiểu đúng, thì những gì bạn cần là một vị như include/3:

include(:Goal, +List1, ?List2) 
    Filter elements for which Goal succeeds. True if List2 contains 
    those elements Xi of List1 for which call(Goal, Xi) succeeds. 

Cách sử dụng examp le:

?- include(number, [a(b), 2, _, 1.2, C, '1'], L). 
L = [2, 1.2]. 

Bây giờ bài tập về nhà của bạn trở thành "cách triển khai include/3". Khi bạn đã triển khai phiên bản include/3, bạn có thể kiểm tra xem phiên bản có khớp với phiên bản SWI hay không bằng cách xem mã nguồn của nó: listing(include).