% vim set ft=prolog

host(conflatorio).
host(hash).
host(knot).
host(kv24ix).
host(lhn2ix).

% public_key(conflatorio, "pk conflatorio").
% public_key(lhn2ix, "pk lhn2ix").
% public_key(knot, "pk knot").
% public_key(hash, "pk hash").

% (router, router_ip, remote)
router_link(knot,   "1::1", hash).
router_link(knot,   "1::8", lhn2ix).
router_link(knot,   "1::7", kv24ix).
router_link(hash,   "1::2", knot).
router_link(hash,   "1::10", kv24ix).
router_link(hash,   "1::3", lhn2ix).
router_link(kv24ix, "1::6", knot).
router_link(kv24ix, "1::5", hash).
router_link(lhn2ix, "1::9", hash).
router_link(lhn2ix, "1::4", knot).
router_link(conflatorio, "1::11", lhn2ix).
router_link(lhn2ix, "1::12", conflatorio).

% network(R, address, range)
network(conflatorio, ipv6_net("1:78e1::", 64)).
network(hash,        ipv6_net("1:e5b0::", 64)).
network(knot,        ipv6_net("1:f11b::", 64)).
network(lhn2ix,      ipv6_net("1:dbe1::", 64)).
network(lhn2ix,      ipv6_net("1:dbe2::", 64)).
network(kv42ix,      ipv6_net("1:cd02::", 64)).

%host(H) :- router_link(H, _, _).
%host(H) :- router_link(_, H, _).
% host(H).

bgp_connection(H, R) :-
    host(H), host(R),
    router_link(H, _, R),
    router_link(R, _, H).

% warnings(Msg) :-
%     host(H), host(R),
%     router_link(H, R, _),
%     not router_link(R, H, _),
%     Msg = "missing router link!".

% bgp_connection(H, Remote)?

% wg_if(H, R, PK) :- bgp_connection(H, R), public_key(R, PK).
% % wg_if(H, R, PK)?
% wg_if_allowed_ips(H, Ip, 128) :- bgp_connection(H, R), router_link(H, R, Ip).
% wg_if_allowed_ips(H, Ip, Range) :- bgp_connection(H, R), network(R, Ip, Range).
% % wg_if_allowed_ips(H, Ip, Range)?

bgp_connections(H, Cs) :- findall(Name, bgp_connection(H, Name), Cs).

bgp_config(H, Connections) :- bgp_connections(H, Connections).
% bgp_config(H)?

bird_protocol_bgp(Router, Neighbor, Address, AllowedNetworks) :-
  router_link(Router, _, Neighbor),
  router_link(Neighbor, Address, Router),
  AllowedNetworks = [].

edge(a, b). edge(b, c). edge(c, d). edge(d, a).
path(X, Y) :- edge(X, Y).
path(X, Y) :- edge(X, Z), path(Z, Y).

direct_network(Router, N) :-
  router_link(Router, _, Remote),
  network(Remote, N).

direct_networks(Router, Ns) :-
  findall(N, direct_network(Router, N), Ns).

indirect_network(Router, Ns) :-
  router_link(Router, _, Remote),
  direct_network(Remote, Ns).

incoming_networks(R, Ns) :-
  %findall(N, direct_network(R, N), Direct),
  Direct = [],
  setof(N, indirect_network(R, N), Indirect),
  union(Direct, Indirect, Ns).