Skip to main content

run

prolog2::top_prog

Function run 

Source 
pub fn run(
    examples: Examples,
    predicate_table: &PredicateTable,
    heap: Vec<Cell>,
    config: Config,
    no_reduce: bool,
) -> ExitCode
Expand description

Top Program Construction entry point