Loading page…
Structured argumentation in Prolog: write theories (ASPIC+, ABA, abstract frameworks), see their errors as you type, solve queries and browse their argument graphs.
Last snapshot: Nov 7, 2026, 22:01 UTC
8 calculable days · 0 without calculable growth.
Categories ranked by installs on Marketplace and downloads on Open VSX.
No category or keyword positions available in the current 31-day window.