Struct PrologPredicateBuilder 

pub struct PrologPredicateBuilder { /* private fields */ }

Fluent builder for PrologPredicate.

Implementations

impl PrologPredicateBuilder

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

Start building a predicate.

pub fn dynamic(self) -> Self

Mark as dynamic.

pub fn exported(self) -> Self

Mark as exported.

pub fn discontiguous(self) -> Self

Mark as discontiguous.

pub fn module(self, m: impl Into<String>) -> Self

Set module qualification.

pub fn doc(self, d: impl Into<String>) -> Self

Add a doc comment.

pub fn clause(self, c: PrologClause) -> Self

Add a clause.

pub fn fact(self, head: PrologTerm) -> Self

Add a fact clause.

pub fn rule(self, head: PrologTerm, body: Vec<PrologTerm>) -> Self

Add a rule clause.

pub fn build(self) -> PrologPredicate

Finalise.

pub fn emit(self) -> String

Emit.