% 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)).