Preface

graph LR
    A["Logic VM"] --> B["SWI-Prolog"]
    B --> C["Sovereign Control"]