MCPcopy Create free account
hub / github.com/dagit/rust-prolog / assert

Function assert

src/solve.rs:48–51  ·  view source on GitHub ↗

Add a new assertion at the end of the current database. */

(database: &mut Database, heap: &mut Heap, a: &Assertion)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 6

exec_cmdFunction · 0.85
solve_simple_factFunction · 0.85
solve_no_matchFunction · 0.85
solve_variable_bindingFunction · 0.85
solve_with_ruleFunction · 0.85
solve_interruptedFunction · 0.85

Calls 1

generate_contrapositivesFunction · 0.85

Tested by 5

solve_simple_factFunction · 0.68
solve_no_matchFunction · 0.68
solve_variable_bindingFunction · 0.68
solve_with_ruleFunction · 0.68
solve_interruptedFunction · 0.68