% True if link L appears on A’s wikipedia page
actor_has_link(L,A) :-
actor(A), wp(A,WT), wt_link(WT,L).
Copyright By PowCoder代写 加微信 powcoder
% Attempt to solve by visiting each oracle in ID order
eliminate(As,A,K) :-
solve_task(find(o(K)),_), !,
my_agent(N),
agent_ask_oracle(N,o(K),link,L),
include(actor_has_link(L),As,ViableAs),
K1 is K+1,
eliminate(ViableAs,A,K1).
% Deduce the identity of the secret actor A
find_identity(A) :-
findall(A,actor(A),As), eliminate(As,A,1).
程序代写 CS代考 加微信: powcoder QQ: 1823890830 Email: powcoder@163.com