Michael Langowski
Michael Langowski
(clone of PR #316, re-creating in order to fix git history that got messed up after squashing modularization commits during merge of #274) This PR is a follow-up to PR...
Currently, all `Term` implementations have their own private static `Interner` which provides a per-class instance cache. By interning, we ensure that for all terms `t1` and `t2`, it holds that...
The aim of this PR is to get rid of all dependencies between `SystemConfig` and API implementations (like `AlphaImpl`, `NaiveGrounder`, `DefaultSolver` etc). The idea is that these objects should get...
Update "Getting Started" and "Building" in `README.md` as well as release guidelines in `RELEASE.md` to reflect modularized architecture (see #274)
Currently, Alpha only supports choice expressions without bounds in rule heads. Since #141 has meanwhile been implemented, we now have an easy means of performing the rewriting of choice heads...
Currently, `InlineDirectives` is only a wrapper around something that could be an `EnumMap`. It is only possible to have one instance of each directive and the only supported directive is...
In addition to current answer set printing facilities, the following additional features should be added to Alpha: - Write Answer Sets as JSON (see below, we might want to use...
Alpha's command line interface has been growing organically for quite some time. Right now, we have a lot of different flags and options that are partly related and - in...
Follow-up to issue #229. Justification analysis currently works on instances of `Atom` type-wise, but only actually analyzes atoms that result from rules firing (which lines up with `BasicAtom`s). Consider a...