Function realize_logic 

pub fn realize_logic(
    cx: &mut Cx,
    goal: Expr,
    answer_limit: Option<usize>,
    stream_buffer: Option<usize>,
    stream: bool,
) -> Result<Value>

Resolves goal against the installed logic database and returns the result.

Installs the logic organ if needed, then resolves under the stored LogicConfig (optionally overriding the answer limit and stream buffer). When stream is true the result is a logic answer stream object; otherwise it is the first answer as a value, or nil when the goal fails.