Struct Fact 

pub struct Fact {
    pub predicate: String,
    pub args: Vec<FactArg>,
}

A ground fact: a predicate name together with its argument values.

Fields

predicate: String

The predicate name (e.g. "parent", "ancestor").

args: Vec<FactArg>

The argument values (ground terms).

Implementations

impl Fact

pub fn new(predicate: impl Into<String>, args: Vec<FactArg>) -> Self

Create a new fact.

pub fn sym(predicate: impl Into<String>, args: &[&str]) -> Self

Convenience constructor: all arguments are Symbol values.

pub fn arity(&self) -> usize

The number of arguments (arity).

Trait Implementations

impl Clone for Fact

fn clone(&self) -> Fact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Fact

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

Formats the value using the given formatter.

impl Display for Fact

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

Formats the value using the given formatter.

impl Hash for Fact

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Fact

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

impl StructuralPartialEq for Fact