This specification is intended for comparison with answer set programming (ASP). work I started in 2022 but did not continue pursuing. A comparison is defined by the diffspec and you can also extract corpora (groups of facts) to use later. To continue your exploration, you might want to read about:
- Background: of wanting or needing this specification.
- Composition Spec: is the specification for a composition (a corpus of facts) and a diff (rules for comparison, "diffspec")
- Compspec (Python): an implementation of this model.
Or check out several examples and/or implementations:
- lp: Example logic program for doing a comparison.