Expand description
Lore is a flexible model-backed logic programming engine.
§Usage
Lore is designed to be maximally flexible; at the cost of being slightly involved to set up. To start using lore, you will need to define:
- A
Model, which stores the data you want to reason about or query. - One or more
Valuetypes, which can be assigned to variables by a query. - A
Predicate, which queries the model to create variable assignments.
To actually do anything useful with lore, you will have to create a
Program and run it against your model using a
Query.
Modules§
- compiler
- Contains a compiler that can produce bytecode programs from IR.
- interpreter
- Contains a bytecode interpreter that executes queries.
- model
- Defines the core runtime primitives: Models, Predicates and Values.
- program
- Defines bytecode representation used by the interpreter.