Struct App 

pub struct App { /* private fields */ }

Builder for configuring and running the Prolog² engine.

Example

use prolog2::app::App;
use prolog2::predicate_modules::{MATHS, META_PREDICATES};

App::from_args()
    .add_module(&MATHS)
    .add_module(&META_PREDICATES)
    .run();

Implementations

impl App

pub fn new() -> Self

Create a new builder with no modules and default settings.

pub fn from_args() -> Self

Create a builder pre-configured from command-line arguments.

Parses std::env::args() for:

• A config file path (first non-flag argument, default: "setup.json")
• --all / -a to auto-enumerate all solutions

pub fn add_module(self, module: &'static PredicateModule) -> Self

Register a predicate module.

pub fn config(self, path: impl Into<String>) -> Self

Set the config file path.

pub fn auto(self, value: bool) -> Self

Set whether to auto-enumerate all solutions.

pub fn run(self) -> ExitCode

Load the configuration, register modules, and run.

If the config contains examples, they are run as a query. Otherwise an interactive REPL is started.