Module search

Conversions between data acquired from kernel interfaces and Prolog facts. Includes some search procedures.

TODO: this is a mess of declaring facts within the Database scope and outside. Of querying different things while within the Database scope and outside. Of querying IO that has nothing to do with the database but is needed for topology discovery (subdevice paths).

This needs some serious look to figure out the patterns and arrange them in a way that makes sense.

Structs

• SaveDumpsWrapper
• TextualUniverse
  A universe that can be interacted with using a Prolog like syntax.
• TopologyDatabase

Constants

• TOPOLOGYLIB

Traits

• Database
  This structure takes in facts in string form.

Functions

• entity_for_interface
• entity_interface
• fourcc_from_predicate
• fourcc_from_term
• fourcc_to_predicate
• framesize_as_fact
• framesizes_as_facts
  Generates an iterator with Prolog statements representing facts about frame sizes of a video device.
• interface_subdevice_paths
• link_state
  Finds the state of the link. Returns None if no suck link exists.
• mbus_all_guesses
• mbus_from_predicate
• mbus_from_term
• mbus_to_predicate
• outputs
  Finds output interfaces which the selected entity is connected to.
• sanitize_name
  Sanitizes an entity name for inclusion in Prolog as an atom
• topology_as_facts
  Encodes Topology as a series of Prolog facts.
• video_capture_interfaces