Generated with

Prolog-as-ScalaDSL/io.github.kelvindev15.prolog/io.github.kelvindev15.prolog.dsl/DeclarativeProlog

DeclarativeProlog

io.github.kelvindev15.prolog.dsl.DeclarativeProlog

See theDeclarativeProlog companion trait

object DeclarativeProlog

Attributes

Companion: trait
Graph
Supertypes: class Object

trait Matchable

class Any
Self type: DeclarativeProlog.type

Members list

Type members

Classlikes

Attributes

Companion: trait
Supertypes: class Object

trait Matchable

class Any
Self type: MutableDynamicTheoryWrapper.type

Attributes

Companion: object
Supertypes: trait MutableTheoryWrapper

class Object

trait Matchable

class Any

Attributes

Supertypes: class Object

trait Matchable

class Any
Known subtypes: trait MutableDynamicTheoryWrapper

In this article

Generated with