Struct PrologBackend 

pub struct PrologBackend {
    pub swi_mode: bool,
    pub utf8_encoding: bool,
    pub options: PrologBackendOptions,
}

The Prolog code generation backend.

Converts a PrologModule (or individual items) into .pl source text.

Fields

swi_mode: bool

Whether to emit SWI-Prolog-specific pragmas (:- use_module(library(lists))).

utf8_encoding: bool

Whether to add :- encoding(utf8). at the top.

options: PrologBackendOptions

Extra options reserved for future use.

Implementations

impl PrologBackend

pub fn new() -> Self

Create a backend in default (ISO) mode.

pub fn swi() -> Self

Create a backend targeting SWI-Prolog.

pub fn emit_module(&self, module: &PrologModule) -> String

Emit a complete PrologModule as .pl source text.

pub fn emit_clause(&self, clause: &PrologClause) -> String

Emit a single clause.

pub fn emit_predicate(&self, pred: &PrologPredicate) -> String

Emit a single predicate.

pub fn emit_dcg(&self, rule: &DcgRule) -> String

Emit a single DCG rule.

pub fn emit_directive(&self, directive: &PrologDirective) -> String

Emit a single directive.

pub fn emit_clauses(&self, clauses: &[PrologClause]) -> String

Emit a list of clauses separated by newlines.

pub fn build_swi_preamble( &self, module_name: &str, exports: &[(&str, usize)], libraries: &[&str], ) -> String

Build a standard SWI-Prolog module preamble.

Trait Implementations

impl Debug for PrologBackend

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

Formats the value using the given formatter.

impl Default for PrologBackend

fn default() -> PrologBackend

Returns the “default value” for a type.