Orchestrata Ultimate › Tests › Reference › session › test_prolog_interface_arity_regression

Tests reference — tests/session/test_prolog_interface_arity_regression.py

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

Prose pending.

tests/session/test_prolog_interface_arity_regression.py

source · 3 tests · 91 lines

Regression test: PrologSessionInterface uses a single session predicate

Covers: core.prolog_adapter, session.prolog_interface

Kind Name Line Description
function test_clear_facts_removes_opened_session 49 An opened session is actually gone after clear_facts.
function test_query_session_sees_bulk_synced_session_facts 68 A bulk-synced session/4 fact is queryable via query_session.
function test_retract_session_matches_arity4 86 retract_session removes the arity-4 fact written by assert_session_open.