Prolog-as-ScalaDSL
API
Generated with
Prolog-as-ScalaDSL/io.github.kelvindev15.prolog/PrologProgram

PrologProgram

io.github.kelvindev15.prolog.PrologProgram
See thePrologProgram companion trait
object PrologProgram

Attributes

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

Members list

Value members

Concrete methods

def apply(staticTheory: Theory, dynamicTheory: Theory): PrologProgram

Returns an instance of a PrologProgram.

Returns an instance of a PrologProgram.

Value parameters

dynamicTheory

the dynamic Theory of the prolog program

staticTheory

the static Theory of the prolog program

Attributes

def emptyTheory: PrologProgram

Attributes

Returns

an instance of a PrologProgram whose static and dynamic Theory are empty and with no goal.

Generated with