Module phreak_engine::jointest

The jointest module contains the logic for performing test evaluation. Whenever two facts need to be compared, we say that they are joined if the tests for this combination of facts succeeds.

Structs

JoinNodeTest

A test compares a field in the current WME against a field from a WME that is x steps back.

Enums

JoinTestField

A JoinTestField defines which field of a WME should be matched in a jointest.

Functions

get_join_tests_from_condition

Compare the current condition against the earlier conditions and find variable fields to match.