prologTheory

abstract val prologTheory: Theory