prologTheory

open override val prologTheory: Theory