Struct LogicLib 

pub struct LogicLib;

The loadable logic organ: shapes, functions, and database/config state.

Implements the kernel Lib contract and installs the logic/* surface (assert, retract, query, unify, and the logic shapes). Load it with install_logic_lib; see the README.

Trait Implementations

impl Lib for LogicLib

fn manifest(&self) -> LibManifest

Returns the library’s manifest.

fn load(&self, cx: &mut LoadCx, linker: &mut Linker<'_>) -> Result<()>

Registers the library’s exports against the registry via linker.

fn unload(&self, _cx: &mut Cx, _linker: &mut Linker<'_>) -> Result<(), Error>

Tears down external resources that cannot be represented in the registry’s recorded load delta.