morphir-contrib-knowledge
API
Generated with
morphir-contrib-knowledge/morphir.knowledge.logic/Kernel

Kernel

morphir.knowledge.logic.Kernel
trait Kernel

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object microkanren

Members list

Type members

Types

type Field[A] = Field[A]
type Goal = Goal
type SStream = SStream
type State = State

Value members

Concrete methods

def and(goals: List[Goal]): Goal
def and(goals: Goal*): Goal
def constraint(constrainedFields: List[Field[_]], constraint: FieldConstraint): Goal
def constraintConverter: ConstraintConverter
def eq[A, B](a: A, b: B): Goal

An alias for equal.

An alias for equal.

Attributes

def equal[A, B](a: A, b: B): Goal
def or(goals: List[Goal]): Goal
def or(goals: Goal*): Goal
final def run(constraint: Constraint, state: State): SStream
final def run(constraint: Constraint): SStream
def run(goal: Goal, state: State): SStream
def run(goal: Goal): SStream

Concrete fields

val Field: Field.type
val Goal: Goal.type
val SStream: Flux.type
val State: State.type
Generated with