Struct PrologModule 

pub struct PrologModule {
    pub name: Option<String>,
    pub exported_predicates: Vec<String>,
    pub items: Vec<PrologItem>,
    pub description: Option<String>,
}

A complete Prolog source module (maps to a .pl file).

Fields

name: Option<String>

Module name (used in :- module/2). None means no module declaration.

exported_predicates: Vec<String>

Exported predicates as "Name/Arity" strings.

items: Vec<PrologItem>

Top-level items in order.

description: Option<String>

File-level comment/description.

Implementations

impl PrologModule

pub fn new(name: impl Into<String>) -> Self

Create a new named module.

pub fn script() -> Self

Create a script (no module declaration).

pub fn with_description(self, desc: impl Into<String>) -> Self

Set the file description.

pub fn export(&mut self, indicator: impl Into<String>)

Export a predicate.

pub fn add(&mut self, item: PrologItem)

Add an item.

pub fn directive(&mut self, d: PrologDirective)

Add a directive.

pub fn predicate(&mut self, p: PrologPredicate)

Add a predicate.

pub fn dcg_rule(&mut self, r: DcgRule)

Add a DCG rule.

pub fn blank(&mut self)

Add a blank line.

pub fn section(&mut self, title: impl Into<String>)

Add a section comment.

Trait Implementations

impl Clone for PrologModule

fn clone(&self) -> PrologModule

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PrologModule

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

Formats the value using the given formatter.