Antonius Weinzierl

Performance statistics behaviour

2

Currently, Alpha prints some performance statistics to the command line every second. This is a rather odd behaviour compared to other ASP solvers, even though it is quite useful when...

The justification analysis should in principle be able to pinpoint the decisions that lead to a conflict after all unsassigned atoms have been assigned to false (the last step before...

In `DefaultSolver` in the main loop `store.propagate()` may return a `ConflictCause` that indicates a conflict with a choice and not a violated nogood. The subsequent treatment however, assumes that the...

Make Alpha Lazy Again

4

Alpha is currently employing lazy-grounding for any given input program. For easy-to-ground ASP programs, however, lazy-grounding is not needed and thus the overhead of running it could be avoided. The...

Lift restrictions on external atoms.

3

Currently, external atoms have the following limitations: - [X] 1. An external must have some input and an external like `&getFromExtern[](X)` is not possible. - [ ] 2. An rule...

Native lists via external atoms.

1

Lists are very convenient constructs in logic programming and some ASP solvers support them natively. Since our constants can be actual Java objects, it might be easy to allow list...