Prolog-as-ScalaDSL
API
Generated with
Prolog-as-ScalaDSL/io.github.kelvindev15.prolog/io.github.kelvindev15.prolog.dsl/DeclarativeProlog/MutableDynamicTheoryWrapper

MutableDynamicTheoryWrapper

io.github.kelvindev15.prolog.dsl.DeclarativeProlog.MutableDynamicTheoryWrapper
See theMutableDynamicTheoryWrapper companion object
trait MutableDynamicTheoryWrapper extends MutableTheoryWrapper

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Inherited methods

def add(clause: Clause): Theory

Attributes

Inherited from:
MutableTheoryWrapper
def remove(clause: Clause): Theory

Attributes

Inherited from:
MutableTheoryWrapper

Inherited fields

var theory: Theory

Attributes

Inherited from:
MutableTheoryWrapper
Generated with