arg2p
Toggle table of contents
0.21.1-dev01-41c41f1
common
Target filter
common
Switch theme
Search in API
Skip to content
arg2p
core
/
it.unibo.tuprolog.argumentation.core.modules
/
RawPrologContent
Raw
Prolog
Content
interface
RawPrologContent
A part of arg2p with a Prolog theory
Inheritors
LazyRawPrologContent
Members
Properties
prolog
Theory
Link copied to clipboard
abstract
val
prologTheory
:
Theory