Skip to main content

logic_query_streaming

ipfrs_cli::commands::logic

Function logic_query_streaming 

Source 
pub async fn logic_query_streaming(
    goal: &str,
    max_depth: usize,
    json_output: bool,
    timeout_secs: u64,
) -> Result<()>
Expand description

Logic Datalog-style query with streaming output and indicatif spinner.

Identical to logic_query in terms of logic execution, but shows a “Searching…” spinner on TTY while inference is running, then prints each result binding as it arrives. JSON output uses newline-delimited records.