orchestrata_governance.prolog_engine
Reference › components › governance › orchestrata_governance › prolog_engine
The Prolog engine of orchestrata_governance (SPEC-016). prolog_bridge (597 lines) is the largest module and the interface to SWI-Prolog; prolog_engine and prolog_worker are described by their docstrings as generated scaffolds, and prolog_proxy fronts a worker. janus_bootstrap is an RTLD_GLOBAL preload that fixes library(json) under janus. The request and result types are prolog_request, prolog_op, prolog_fact, query_result and proof_result; the lint types are lint_report, clause_info, edge_info, rule_file, file_scan and violation__prolog_meta_lint. The runtime clients that use it are in governance.
16 modules, 1,680 lines of code.
Modules
| Module | Summary | LOC |
|---|---|---|
clause_info |
18 | |
edge_info |
17 | |
file_scan |
18 | |
janus_bootstrap |
janus_bootstrap.py — RTLD_GLOBAL preload that fixes library(json) under janus. |
327 |
lint_report |
38 | |
prolog_bridge |
597 | |
prolog_engine |
orchestrata_governance.prolog_engine.prolog_engine — generated scaffold (SPEC-016). | 246 |
prolog_fact |
33 | |
prolog_op |
15 | |
prolog_proxy |
81 | |
prolog_request |
22 | |
prolog_worker |
orchestrata_governance.prolog_engine.prolog_worker — generated scaffold (SPEC-016). | 189 |
proof_result |
22 | |
query_result |
21 | |
rule_file |
15 | |
violation__prolog_meta_lint |
21 |
Dependency diagram
