ASP Formatter

Instructions

Paste the answer set into the text box on the right and click Go.
You can click on the nodes in the generated timeline graph to view only predicates corresponding to that time step. Click Clear to show predicates from all nodes again.
You can filter, group, and sort predicates by using the controls below.

About the generated timeline graph

Each timeline starts at the node called "start"
A timeline may have multiple alternate endings (including one called "end").
Graph node identifiers are arbitrary numbers, not ordered.
"happens" predicates denote actions taken by an agent; they occur on nodes other than "start" or ending nodes.

Filter

Group

By predicate name
By number of arguments

Sort

Sort by argument #

Clingo Output

Paste the raw Clingo output here

Paste the output above, and click on "Go"