Struct PrologAssertionBuilder 

pub struct PrologAssertionBuilder;

Build dynamic database manipulation sequences.

Implementations

impl PrologAssertionBuilder

pub fn assertz_fact(head: PrologTerm) -> PrologTerm

assertz(Head) — assert a fact at the end.

pub fn asserta_fact(head: PrologTerm) -> PrologTerm

asserta(Head) — assert a fact at the front.

pub fn assertz_rule(head: PrologTerm, body: PrologTerm) -> PrologTerm

assertz((Head :- Body)) — assert a rule at the end.

pub fn retract(head: PrologTerm) -> PrologTerm

retract(Head) — retract a fact.

pub fn retractall(head: PrologTerm) -> PrologTerm

retractall(Head) — retract all matching facts.

pub fn abolish(name: &str, arity: usize) -> PrologTerm

abolish(Name/Arity) — remove all clauses.