Module swipl::engine

Prolog engines.

A single process can run multiple prolog engines. Prolog engines are somewhat equivalent to a prolog thread. However, it is possible to move them between threads, or run multiple engines on the same thread. From the perspective of prolog though, a single engine corresponds with a single flow of execution.

When using swipl-rs to implement foreign predicates as part of a loadable module, you generally do not have to worry about prolog engines, unless you’re spawning extra threads.

Structs

• Engine
  A Prolog engine.
• EngineActivation
  A prolog engine activation.

Functions

• assert_some_engine_is_active
  Panic if no engine is active on this thread.
• current_engine_ptr^⚠
  Returns the current engine pointer.
• is_engine_active
  Checks if the given engine pointer is the engine that is currently active on this thread.