Struct PredicateBuilder 

pub struct PredicateBuilder { /* private fields */ }

Builder for creating predicates more easily

Implementations

impl PredicateBuilder

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

Create a new predicate builder

pub fn arg_str(self, value: impl Into<String>) -> Self

Add a constant string argument

pub fn arg_int(self, value: i64) -> Self

Add a constant integer argument

pub fn arg_bool(self, value: bool) -> Self

Add a constant boolean argument

pub fn arg_var(self, name: impl Into<String>) -> Self

Add a variable argument

pub fn arg(self, term: Term) -> Self

Add any term as an argument

pub fn build(self) -> Predicate

Build the predicate