julog

Documentation

Index

• type AbstractClause
• type Clause
  • func (c *Clause) Head() Term
• type ClauseSubtable
• type ClauseTable
• type Compound
• type Const
• type GoalTree
• type Subst
  • func Resolve(goals []Term, clauses []AbstractClause, options map[string]any) (bool, []Subst)
• type Term
• type Var

Types

type AbstractClause

type AbstractClause interface {
	Head() Term
}

type Clause

type Clause struct {
	AbstractClause
	// contains filtered or unexported fields
}

func (*Clause) Head

func (c *Clause) Head() Term

type ClauseSubtable

type ClauseSubtable map[string][]AbstractClause

type ClauseTable

type ClauseTable map[string]ClauseSubtable

type Compound

type Compound struct {
	Term
	// contains filtered or unexported fields
}

type Const

type Const struct {
	Term
	// contains filtered or unexported fields
}

type GoalTree

type GoalTree struct {
	// contains filtered or unexported fields
}

type Subst

type Subst map[Var]Term

func Resolve

func Resolve(goals []Term, clauses []AbstractClause, options map[string]any) (bool, []Subst)

type Term

type Term interface {
	Name() string
	Args() []Term
}

type Var

type Var struct {
	Term
	// contains filtered or unexported fields
}