TOOLS

Arg2P

Arg2P is an implementation of the ASPIC+ framework for structured argumentation. Built on top of the tuProlog engine, it supports both JVM and Node environments.

Logical English

Logical English (LE) is syntactic sugar for logic programs, which are collections of facts and rules of the form conclusion if
conditions. In this paper, we focus on legal applications of LE and the use of meta- (or higher-order) predicates to represent
propositional attitudes, such as permission, obligation, notification of a message and designation of the occurrence of an
event. We also illustrate the integration of LE with SWISH, the online implementation of SWI Prolog.