Struct PrologPredicate 

pub struct PrologPredicate {
    pub name: String,
    pub arity: usize,
    pub clauses: Vec<PrologClause>,
    pub is_dynamic: bool,
    pub is_exported: bool,
    pub is_discontiguous: bool,
    pub module: Option<String>,
    pub doc: Option<String>,
}

A Prolog predicate: a collection of clauses sharing the same functor/arity.

Fields

name: String

Predicate name (functor).

arity: usize

Arity.

clauses: Vec<PrologClause>

All clauses for this predicate (in order).

is_dynamic: bool

Whether this predicate is declared :- dynamic.

is_exported: bool

Whether this predicate is exported from its module.

is_discontiguous: bool

Whether this predicate is declared :- discontiguous.

module: Option<String>

Optional module qualification.

doc: Option<String>

Optional documentation string.

Implementations

impl PrologPredicate

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

Create a new predicate with no clauses.

pub fn add_clause(&mut self, clause: PrologClause)

Add a clause.

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 indicator(&self) -> String

The indicator Name/Arity as a string.

pub fn emit(&self) -> String

Emit all clauses for this predicate.

Trait Implementations

impl Clone for PrologPredicate

fn clone(&self) -> PrologPredicate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PrologPredicate

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

Formats the value using the given formatter.

impl PartialEq for PrologPredicate

fn eq(&self, other: &PrologPredicate) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for PrologPredicate