prologRawTheory

abstract val prologRawTheory: String