Struct Predicate 

pub struct Predicate { /* private fields */ }

Implementations

impl Predicate

pub fn new(scope: Weak<dyn Scope>, predicate: PredicateDef) -> Rc<Self>

Creates a predicate from its parsed definition.

pub fn parents(&self) -> &[Vec<String>]

pub fn args(&self) -> &[(Vec<String>, String)]

pub fn statements(&self) -> &[Statement]

pub fn call(self: Rc<Self>, atom: Rc<Atom>) -> Result<(), RiddleError>

Executes predicate statements against a concrete atom.

pub fn atoms(&self) -> Vec<AtomId>

Trait Implementations

impl Scope for Predicate

fn core(&self) -> Rc<dyn Core>

fn scope(&self) -> Option<Rc<dyn Scope>>

fn get_fields(&self) -> Vec<Rc<Field>>

fn get_field(&self, name: &str) -> Option<Rc<Field>>

fn get_function( &self, name: &str, types: &[Rc<dyn Type>], ) -> Option<Rc<Function>>

fn get_type(&self, name: &str) -> Option<Rc<dyn Type>>

fn get_predicate(&self, name: &str) -> Option<Rc<Predicate>>

fn as_class(self: Rc<Self>) -> Option<Rc<dyn Class>>

impl Type for Predicate

fn name(&self) -> &str

fn as_any(self: Rc<Self>) -> Rc<dyn Any>

fn new_instance(self: Rc<Self>) -> Slot

fn full_name(&self) -> String

fn as_class(self: Rc<Self>) -> Option<Rc<dyn Class>>