Enum PrologDirective 

pub enum PrologDirective {
    Module(String, Vec<String>),
    UseModuleLibrary(String),
    UseModulePath(String),
    UseModuleImports(String, Vec<String>),
    Dynamic(String, usize),
    Discontiguous(String, usize),
    EnsureLoaded(String),
    ModuleInfo,
    SetPrologFlag(String, String),
    Op(u16, String, String),
    MetaPredicate(PrologTerm),
    Arbitrary(PrologTerm),
}

A top-level Prolog directive :- Goal.

Variants

Module(String, Vec<String>)

:- module(Name, [Exports]).

UseModuleLibrary(String)

:- use_module(library(Name)).

UseModulePath(String)

:- use_module(path).

UseModuleImports(String, Vec<String>)

:- use_module(path, [Imports]).

Dynamic(String, usize)

:- dynamic Name/Arity.

Discontiguous(String, usize)

:- discontiguous Name/Arity.

EnsureLoaded(String)

:- ensure_loaded(path).

ModuleInfo

:- module_info.

SetPrologFlag(String, String)

:- set_prolog_flag(Flag, Value).

Op(u16, String, String)

:- op(Priority, Type, Operator).

MetaPredicate(PrologTerm)

:- meta_predicate Declaration.

Arbitrary(PrologTerm)

An arbitrary directive goal.

Implementations

impl PrologDirective

pub fn emit(&self) -> String

Emit this directive as a Prolog string.

Trait Implementations

impl Clone for PrologDirective

fn clone(&self) -> PrologDirective

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PrologDirective

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

Formats the value using the given formatter.

impl PartialEq for PrologDirective

fn eq(&self, other: &PrologDirective) -> 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 PrologDirective