Expand description
Types for Prolog-style logic programming engine.
Structs§
- LpClause
- A Horn clause:
head :- body1, body2, ...or a fact:head.(empty body). - LpDatabase
- A logic programming database of Horn clauses.
- Query
- A conjunctive query: a list of goals to be solved simultaneously.
- Solve
Config - Configuration for the SLD resolution engine.
- Substitution
- A substitution: a finite map from variable names to terms.
Enums§
- LpTerm
- A Prolog-style term.
- Resolution
Result - The outcome of resolving a query.