RawPrologContent

A part of arg2p with a Prolog theory

Inheritors

Properties

Link copied to clipboard
abstract val prologTheory: Theory