Function topology_as_facts

pub fn topology_as_facts<E>(
    topology: &Topology,
    add_fact: impl FnMut(&str) -> Result<(), E>,
) -> Result<(), E>

Encodes Topology as a series of Prolog facts.