Struct TermUtils 

pub struct TermUtils;

Utility functions for term manipulation

Implementations

impl TermUtils

pub fn string(value: impl Into<String>) -> Term

Create a constant string term

pub fn int(value: i64) -> Term

Create a constant integer term

pub fn bool(value: bool) -> Term

Create a constant boolean term

pub fn var(name: impl Into<String>) -> Term

Create a variable term

pub fn as_string(term: &Term) -> Option<&str>

Extract string value from a constant term

pub fn as_int(term: &Term) -> Option<i64>

Extract integer value from a constant term

pub fn as_bool(term: &Term) -> Option<bool>

Extract boolean value from a constant term

pub fn is_ground(term: &Term) -> bool

Check if term is ground (contains no variables)

pub fn variables(term: &Term) -> Vec<String>

Get all variables in a term