Lore

A flexible logic programming engine, written in rust.

lib.rs:

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:

1. A Model, which stores the data you want to reason about or query.
2. One or more Value types, which can be assigned to variables by a query.
3. 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.