Arg2P#
Arg2P is a lightweight implementation of the ASPIC+ framework for structured argumentation. Built on top of the tuProlog engine, it supports both JVM and Node environments.
Arg2p IDE#
The Arg2p IDE is available on the Releases section of the GitHub repository.

In the latest release page, download the Asset named:
arg2p-ide-ARG2P_VERSION-redist.jara self-contained, executable Jar containing the 2P-Kt-based Prolog interpreter (ARG2P_VERSION will vary depending on the
actual release version).
After you download the arg2p-ide-ARG2P_VERSION-redist.jar, you can simply launch it by running:
java -jar arg2p-ide-ARG2P_VERSION-redist.jarIf your JVM is properly configured, you can also start the IDE by double-clicking the JAR file.
Features#
- Query Execution: Write your query in the text field and hit Enter or click >.
- Solution Exploration: Click > for the next solution or >> to compute all solutions.
- New Query: Click X to stop the current query, then enter a new one.
Additional Tabs#
- Graph Tab: Displays a graphical representation of the abstract argumentation graph.
- Arg Flag Tab: Shows and allows modification of Arg2P flags. Detailed descriptions are on the API page.
Arg2p Playground#
Try Arg2P directly in your browser using the Web Playground.

It functions the same as the Java IDE, offering an interactive experience without installation.