Bài tập 09 trên trang này http://www.ic.unicamp.br/~meidanis/courses/mc336/2009s2/prolog/problemas/ yêu cầu tạo một biến vị ngữ mà gói các phần tử lặp lại vào các danh sách con. Một giải pháp đơn giản
Chúng tôi có cấu hình redis với hai máy chủ redis. Chúng tôi cũng có 3 sentinels để theo dõi hai trường hợp và bắt đầu một thất bại khi cần thiết. Hiện tại chúng tôi có quy trình mà chúng tôi định kỳ
Vị từ if_/3 có vẻ là fairly popular trong số ít người đóng góp chính trong phần Prolog của Stack Overflow. ngữ này được thực hiện như vậy, biếu không của @false: if_(If_1, Then_0, Else_0) :-
call
Đây là một quan sát đầu tiên: ?- is_list([]), is_list([_,_,_]).
true.
Dưới đây là một quan sát: ?- [] = _, [_,_,_] = _.
true.
Vì vậy, tại sao is_list/1 được thực hiện như vậy mà ?- is_list(_).