Struct swipl::engine::Engine

pub struct Engine { /* private fields */ }

A Prolog engine.

Prolog engines can be active or inactive. When activated, an EngineActivation is returned, which when dropped will set the engine back into an inactive state.

Implementations

impl Engine

pub fn new() -> Engine

Create a new prolog engine.

If SWI-Prolog has not been initialized yet, it’ll be done here.

pub fn with_state(state: &'static [u8]) -> Engine

Create a new prolog engine with a saved state. SWI-Prolog must not have been initialized already to do so.

pub fn some_engine_active() -> bool

Returns true if some engine is currently active on this thread.

pub fn is_active(&self) -> bool

Returns true if this engine is the engine currently active on this thread.

pub fn activate(&self) -> EngineActivation<'_>

Activate this engine.

This will panic if an engine is already active on this thread. Otherwise, it’ll return an EngineActivation whose lifetime is bound to this engine.

Trait Implementations

impl Debug for Engine

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Engine

fn default() -> Self

Returns the “default value” for a type.

impl Drop for Engine

fn drop(&mut self)

Executes the destructor for this type.

impl Send for Engine

impl Sync for Engine