Struct PrologLib 

pub struct PrologLib;

The loadable Prolog surface organ.

Loading the organ registers prolog/* functions plus the state handles used by install_prolog_lib to point the active logic eval policy at the same clause database.

Trait Implementations

impl Lib for PrologLib

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.