Struct BuiltInPredicate

pub struct BuiltInPredicate {
    pub functor: String,
    pub terms: Option<Vec<Unifiable>>,
}

Defines built-in predicates, such as print(), append(), etc.

In Suiron source code, built-in predicates have the form:

functor(term1, term2, ...)

Fields

functor: String

terms: Option<Vec<Unifiable>>

Implementations

impl BuiltInPredicate

pub fn new(functor: String, terms: Option<Vec<Unifiable>>) -> Self

Creates a new BuiltInPredicate struct.

Usage

use suiron::*;

// To make: append(a, b, c)
let app = "append".to_string();
let terms = vec![atom!("a"), atom!("b"), atom!("c")];
let pred = BuiltInPredicate::new(app, Some(terms));

// To make a 'fail' predicate:
let pred = BuiltInPredicate::new("fail".to_string(), None);

pub fn recreate_variables(self, vars: &mut VarMap) -> BuiltInPredicate

Recreates logic variables to give them unique IDs.

Logic variables in the knowledge base have an ID of 0, but when a rule is fetched from the knowledge base, the logic variables must be given unique IDs.

Arguments

• self
• map of previously recreated variable IDs

Return

• new BuiltInPredicate

Usage

use suiron::*;

// Make a built-in predicate: print($X, $Y)
let print_predicate = parse_subgoal("print($X, $Y)").unwrap();

let mut var_map = VarMap::new();
let new_print = print_predicate.recreate_variables(&mut var_map);
println!("{}", new_print); // Prints: print($X_1, $Y_2)

Trait Implementations

impl Clone for BuiltInPredicate

fn clone(&self) -> BuiltInPredicate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BuiltInPredicate

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

Formats the value using the given formatter.

impl Display for BuiltInPredicate

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

Formats the value using the given formatter.

impl PartialEq for BuiltInPredicate

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

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

const 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 BuiltInPredicate