% vim set ft=prolog

:- module(hosts, [
    host/1,
    host_config/2,
    attached_network/2,
    router_link/3]).

:- use_module(utils).

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

host_config(knot, Config) :- utils:to_assoc({
    ip: "fdf3:aad9:a885:0b3a::1"
  }, Config).

host_config(hash, Config) :- utils:to_assoc({
    ip: "fdf3:aad9:a885:0b3a::13"
  }, Config).

host_config(lhn2ix, Config) :- utils:to_assoc({
    ip: "fdf3:aad9:a885:0b3a::15"
  }, Config).

host_config(kv24ix, Config) :- utils:to_assoc({
    ip: "fdf3:aad9:a885:0b3a::16"
  }, Config).

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

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