Prolog-as-ScalaDSL
API
Generated with
Prolog-as-ScalaDSL/io.github.kelvindev15.prolog/io.github.kelvindev15.prolog.core/io.github.kelvindev15.prolog.core.theory/Theory

Theory

io.github.kelvindev15.prolog.core.theory.Theory
See theTheory companion trait
object Theory

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Theory.type

Members list

Value members

Concrete methods

def apply(clauses: Clause*): Theory

Returns an instance of Theory.

Returns an instance of Theory.

Value parameters

clauses

the clauses to include in the theory.

Attributes

def empty: Theory

An empty Theory.

An empty Theory.

Attributes

Generated with