lawref.query.inference

Ф5: query … over … → эфемерный CLIR → существующие движки ядра.

Компилятор намеренно мал: он переводит связку атомов, сравнения и явные binder-ы. Рекурсию, отрицание, стратификацию и сам вывод считает evaluator, не LawQL.

Functions

Name	Description
compile_inference	No description.
execute_inference	No description.

compile_inferencefunction#

View source

def compile_inference(query: InferenceQuery, target: dict, base_path: Path) -> tuple[dict, dict, dict]

execute_inferencefunction#

View source

def execute_inference(query: InferenceQuery, store: FactStore, *, base_path: Path, engine: str = 'lawref', case_override: dict | None = None) -> dict