logic -

First-order logic data structure and algorithm.

Content

logic (lib/logic)
- lexpr: Logical expression. (lib/logic/lexpr.nit)
- logic: First-order logic data structure and algorithm. (lib/logic/logic.nit)