Tests reference — `tests/session/test_prolog_facts.py`

Module of tests/session, split out because the directory page would be too large.

Prose pending.

`tests/session/test_prolog_facts.py`

source · 23 tests · 178 lines

Tests for session.prolog_facts using real PrologBridge.

Covers: session.prolog_facts, session.types

Kind	Name	Line
class	`TestPrologFactBridge`	29
method	`TestPrologFactBridge.test_init_no_bridge`	30
method	`TestPrologFactBridge.test_init_with_bridge`	36
method	`TestPrologFactBridge.test_set_bridge`	41
method	`TestPrologFactBridge.test_assert_fact_no_bridge`	46
method	`TestPrologFactBridge.test_assert_fact_with_bridge`	51
method	`TestPrologFactBridge.test_retract_fact_no_bridge`	59
method	`TestPrologFactBridge.test_query_facts_no_bridge`	63
method	`TestPrologFactBridge.test_batch_assert_no_bridge`	68
method	`TestPrologFactBridge.test_batch_assert_with_bridge`	73
method	`TestPrologFactBridge.test_clear_session_facts_no_bridge`	81
method	`TestPrologFactBridge.test_clear_session_facts_with_bridge`	85
method	`TestPrologFactBridge.test_fact_to_term`	99
method	`TestPrologFactBridge.test_asserted_count_tracks_asserted`	105
method	`TestPrologFactBridge.test_query_facts_with_bridge`	111
method	`TestPrologFactBridge.test_retract_fact_with_bridge_success`	120
method	`TestPrologFactBridge.test_retract_fact_invalid_session_id`	131
method	`TestPrologFactBridge.test_retract_fact_invalid_fact_id`	140
method	`TestPrologFactBridge.test_query_facts_invalid_session_id`	145
method	`TestPrologFactBridge.test_query_facts_invalid_fact_type`	150
method	`TestPrologFactBridge.test_clear_session_facts_invalid_session_id`	155
method	`TestPrologFactBridge.test_assert_fact_raises_on_malformed_fact_type`	160
method	`TestPrologFactBridge.test_check_safe_atom_rejects_single_quote`	172
method	`TestPrologFactBridge.test_check_safe_atom_allows_plain_value`	176