Viết vào tập tin (Prolog)

Question

Tôi đã cố gắng lặp qua một danh sách và viết nó vào một tập tin, tại sao những điều sau đây không hoạt động?

loop_through_list(List) :- 
    member(Element, List), 
    write(Element), 
    write(' '), 
    fail. 

write_list_to_file(Filename,List) :- 
    tell(Filename),  % open file to be written 
    loop_through_list(List), 
    told.    % flush buffer 

Answer 1

Thứ nhất, tại sao nó không thành công:
Bạn sử dụng không kích tùy ý, có thể là một kỹ thuật tốt, nhưng không có. Bởi vì nó sẽ làm cho vị ngữ của bạn sai khi kết thúc, khi thành viên đã hết các giải pháp. Sau đó, một khi loop_through_list là sai, nói không đạt được và các văn bản không được thực hiện đúng (khi tôi kiểm tra nó, tập tin được tạo ra nhưng không có gì được viết).
Nếu bạn sử dụng:

loop_through_list([]). 
loop_through_list([Head|Tail]) :- 
    write(Head), 
    write(' '), 
    loop_through_list(Tail). 

thay vào đó, nó hoạt động. Tuy nhiên, ngay cả khi mã này hoạt động, bạn có thể muốn sử dụng mở (Tên tệp, ghi, Luồng), ghi (Luồng, Phần tử) và đóng (Luồng) thay vì nói và được giải thích vì các lý do được giải thích trong liên kết ở cuối câu trả lời này.
Ví dụ:

loop_through_list(_File, []) :- !. 
loop_through_list(File, [Head|Tail]) :- 
    write(File, Head), 
    write(File, ' '), 
    loop_through_list(File, Tail). 

write_list_to_file(Filename,List) :- 
    open(Filename, write, File), 
    loop_through_list(File, List), 
    close(File). 

hoặc

loop_through_list(File, List) :- 
    member(Element, List), 
    write(File, Element), 
    write(File, ' '), 
    fail. 

write_list_to_file(Filename,List) :- 
    open(Filename, write, File), 
    \+ loop_through_list(File, List), 
    close(File). 

sử dụng mã của bạn và lừa joel76.

Xem Prolog how to save file in an existing file
Nó bao gồm cùng một vấn đề.

Answer 2

vị loop_through_list (danh sách), luôn thất bại, vì vậy để succed bạn chỉ phải viết \ + loop_through_list (danh sách),

Answer 3

Tôi không thấy lý do để làm sử dụng phương pháp này để viết một danh sách vào một tập tin.
Lập trình trong prolog thường không liên quan đến vòng lặp;
bên cạnh đó, đây không phải là cấu trúc vòng lặp, nó giống như một hack (hoặc thậm chí lạm dụng).
(và cũng giống như trường hợp của bạn dẫn đến lỗi bất ngờ và các vấn đề)

Chỉ cần sử dụng đệ quy và in các phần tử của danh sách:

write_list([]). 
write_list([H|T]):- 
    write(H), 
    write(' '), 
    write_list(T). 

thêm thanh lịch và có thể hiệu quả hơn nữa.

khác hơn, sử dụng mở/4 vv (ISO IO) thay vì cho biết/1 vv (Edinburgh IO) nói chung là tốt hơn; kiểm tra false's post