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

MutableTheoryWrapper

io.github.kelvindev15.prolog.dsl.DeclarativeProlog.MutableTheoryWrapper
trait MutableTheoryWrapper

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Concrete methods

def add(clause: Clause): Theory
def remove(clause: Clause): Theory

Concrete fields

var theory: Theory
Generated with